common/mltools: Fix EXTRA_DIST.

Fixes commit f79129b8dc.
This commit is contained in:
Richard W.M. Jones
2019-07-29 12:53:14 +01:00
parent 9a6d162852
commit 97e2be01b5

View File

@@ -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 \