From 97e2be01b5ea575e2b06c1adfc956a6bb5ad5d48 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Mon, 29 Jul 2019 12:53:14 +0100 Subject: [PATCH] common/mltools: Fix EXTRA_DIST. Fixes commit f79129b8dc92470e3a5597daf53c84038bd6859e. --- common/mltools/Makefile.am | 1 + 1 file changed, 1 insertion(+) diff --git a/common/mltools/Makefile.am b/common/mltools/Makefile.am index ba8630033..ce4d1ac9a 100644 --- a/common/mltools/Makefile.am +++ b/common/mltools/Makefile.am @@ -25,6 +25,7 @@ EXTRA_DIST = \ JSON_tests.ml \ JSON_parser_tests.ml \ machine_readable_tests.ml \ + parse_tools_messages_test.py \ test-getopt.sh \ test-machine-readable.sh \ test-tools-messages.sh \