diff options
author | Paul Smith <psmith@gnu.org> | 2022-10-16 15:50:13 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2022-10-18 14:37:47 -0400 |
commit | 4ec74e568d1da54d56b3628afc9fe8577e79e6bf (patch) | |
tree | 0f3b683f4ac0368ddd4583ee05f1d22b5b615910 /tests | |
parent | d9fc1ac5d2e427eed6e61ac95f5ebf72ed380089 (diff) | |
download | make-git-4ec74e568d1da54d56b3628afc9fe8577e79e6bf.tar.gz |
* NEWS: Use GNU Make instead of GNU make
* README.git: Ditto.
* README.Amiga: Ditto.
* README.DOS: Ditto.
* README.OS2: Ditto.
* README.VMS: Ditto.
* README.W32: Ditto.
* README.customs: Ditto.
* make-gdb.py: Ditto.
* tests/run_make_tests.pl: Ditto.
Diffstat (limited to 'tests')
-rw-r--r-- | tests/run_make_tests.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/run_make_tests.pl b/tests/run_make_tests.pl index 47ac56c6..61ec6039 100644 --- a/tests/run_make_tests.pl +++ b/tests/run_make_tests.pl @@ -462,7 +462,7 @@ sub print_help sub set_defaults { # $profile = 1; - $testee = "GNU make"; + $testee = "GNU Make"; $make_path = "make"; $tmpfilesuffix = "mk"; if ($port_type eq 'UNIX') { |