diff options
| author | Paul Smith <psmith@gnu.org> | 2006-03-08 20:15:08 +0000 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2006-03-08 20:15:08 +0000 |
| commit | ae4f0f42f86173c04fe64d4a57fa1ef09b326875 (patch) | |
| tree | 1772315a4dfcbe1d8f8470b2ddcc0f24900bbf96 /tests/run_make_tests.pl | |
| parent | a179091273e3a786c6fccd2ebd318e846af1475a (diff) | |
| download | make-ae4f0f42f86173c04fe64d4a57fa1ef09b326875.tar.gz | |
Some test updates for Windows.
Handle SHELL set on the command line properly for windows.
Diffstat (limited to 'tests/run_make_tests.pl')
| -rwxr-xr-x | 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 ae7536f2..689ce2e6 100755 --- a/tests/run_make_tests.pl +++ b/tests/run_make_tests.pl @@ -238,7 +238,7 @@ sub set_more_defaults # # This is probably not specific enough. # - if ($osname =~ /Windows/i || $osname =~ /MINGW32/i) { + if ($osname =~ /Windows/i || $osname =~ /MINGW32/i || $osname =~ /CYGWIN_NT/i) { $port_type = 'W32'; } # Bleah, the osname is so variable on DOS. This kind of bites. |