diff options
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index acd8efc3..c6a02e14 100644 --- a/Makefile.am +++ b/Makefile.am @@ -192,7 +192,7 @@ CLEANFILES = \ # is NOT a substitute for proper testing! quickcheck: - test-tool/run-test-tool-locally + test-tool/run-test-tool-locally $(QUICKCHECK_TEST_TOOL_ARGS) # Make binary distribution. |