mirror of
https://git.savannah.gnu.org/git/make.git
synced 2024-11-24 20:20:35 +00:00
* tests/run_make_tests.pl: Exit 1 if we detect an error.
This commit is contained in:
parent
5dc7358547
commit
2d7b5d6d80
1 changed files with 3 additions and 3 deletions
|
@ -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;
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue