diff options
author | Paul Smith <psmith@gnu.org> | 2000-02-05 07:50:47 +0000 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2000-02-05 07:50:47 +0000 |
commit | 90f23f1ea6e436d681db81aa80edb7a763de2b12 (patch) | |
tree | 46bec7ceab500e7b088994e773d336d5c1f89915 /tests/run_make_tests.pl | |
parent | 9b0a3d91ea594ff1afe7b8ec83ff41ba828d243b (diff) | |
download | gunmake-90f23f1ea6e436d681db81aa80edb7a763de2b12.tar.gz |
* Updates for VMS, Windows, and DOS ports.
* Clean up some warnings.
Diffstat (limited to 'tests/run_make_tests.pl')
-rwxr-xr-x | tests/run_make_tests.pl | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/run_make_tests.pl b/tests/run_make_tests.pl index 70b1cf8..baf55f8 100755 --- a/tests/run_make_tests.pl +++ b/tests/run_make_tests.pl @@ -129,6 +129,11 @@ sub set_more_defaults local($string); local($index); + # Make sure we're in the C locale for those systems that support it, + # so sorting, etc. is predictable. + # + $ENV{LANG} = 'C'; + # find the type of the port. We do this up front to have a single # point of change if it needs to be tweaked. # @@ -152,6 +157,12 @@ sub set_more_defaults $port_type = 'UNIX'; } + # On DOS/Windows system the filesystem apparently can't track + # timestamps with second granularity (!!). Change the sleep time + # needed to force a file to be considered "old". + # + $wtime = $port_type eq 'UNIX' ? 1 : 4; + # Find the full pathname of Make. For DOS systems this is more # complicated, so we ask make itself. |