diff options
author | Paul Smith <psmith@gnu.org> | 2005-12-13 14:44:17 +0000 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2005-12-13 14:44:17 +0000 |
commit | d9942bb2c2d9794cbb7138bb4218f081eb77a60b (patch) | |
tree | 2ec15ebc521d725780732ffab329d7a154e742d9 /tests/run_make_tests.pl | |
parent | fd443e9b7110e6efe4b3c0d82cfaa501bab97908 (diff) | |
download | make-d9942bb2c2d9794cbb7138bb4218f081eb77a60b.tar.gz |
Update the make.1 man page.
Use rm -f instead of rm in the test scripts. Fixes bug #15085.
Diffstat (limited to 'tests/run_make_tests.pl')
-rwxr-xr-x | tests/run_make_tests.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/run_make_tests.pl b/tests/run_make_tests.pl index d51b72a7..b7614e20 100755 --- a/tests/run_make_tests.pl +++ b/tests/run_make_tests.pl @@ -183,11 +183,11 @@ sub print_help } sub get_this_pwd { - $delete_command = "rm"; + $delete_command = 'rm -f'; if ($has_POSIX) { $__pwd = POSIX::getcwd(); } elsif ($vos) { - $delete_command = "delete_file"; + $delete_command = "delete_file -no_ask"; $__pwd = `++(current_dir)`; } else { # No idea... just try using pwd as a last resort. |