diff options
Diffstat (limited to 'tests/run_make_tests.pl')
| -rwxr-xr-x | tests/run_make_tests.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/run_make_tests.pl b/tests/run_make_tests.pl index 0419fef..82e7c38 100755 --- a/tests/run_make_tests.pl +++ b/tests/run_make_tests.pl @@ -190,7 +190,8 @@ sub run_make_with_options { sub print_usage { - &print_standard_usage ("run_make_tests", "[-make_path make_pathname]"); + &print_standard_usage ("run_make_tests", + "[-make_path make_pathname] [-valgrind]",); } sub print_help |