diff options
author | Paul Smith <psmith@gnu.org> | 2022-07-05 23:45:40 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2022-07-09 10:47:13 -0400 |
commit | 2d7b5d6d8047301ee7126c3e4527a535b7898680 (patch) | |
tree | ea764c4b58dfd4103f6e1f5afdcc9865f1b4dd48 /tests | |
parent | 5dc7358547b4df0f31b0331cfd920b0e0c94a497 (diff) | |
download | make-git-2d7b5d6d8047301ee7126c3e4527a535b7898680.tar.gz |
* tests/run_make_tests.pl: Exit 1 if we detect an error.
Diffstat (limited to 'tests')
-rw-r--r-- | tests/run_make_tests.pl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/run_make_tests.pl b/tests/run_make_tests.pl index 155cd2ba..a534176f 100644 --- a/tests/run_make_tests.pl +++ b/tests/run_make_tests.pl @@ -185,9 +185,9 @@ sub valid_option if ($option =~ /^-make([-_]?path)?$/i) { $make_path = shift @argv; - if (!-f $make_path) { + if (! -f $make_path) { print "$option $make_path: Not found.\n"; - exit 0; + exit 1; } return 1; } @@ -196,7 +196,7 @@ sub valid_option $srcdir = shift @argv; if (! -f File::Spec->catfile($srcdir, 'src', 'gnumake.h')) { print "$option $srcdir: Not a valid GNU make source directory.\n"; - exit 0; + exit 1; } return 1; } |