diff options
author | Jacob Bachmeyer <jcb@gnu.org> | 2021-05-18 23:45:27 -0500 |
---|---|---|
committer | Jacob Bachmeyer <jcb@gnu.org> | 2021-05-18 23:45:27 -0500 |
commit | 0bab163959ff64d788bbdbd1c8719c44c9d4c95a (patch) | |
tree | 71fbc31438266c457b64b2bfda9fe2e46772a93e /dejagnu | |
parent | 1f7ac1cf71aab35d43d4a4f16dfaf5edd1d0c2cb (diff) | |
download | dejagnu-0bab163959ff64d788bbdbd1c8719c44c9d4c95a.zip dejagnu-0bab163959ff64d788bbdbd1c8719c44c9d4c95a.tar.gz dejagnu-0bab163959ff64d788bbdbd1c8719c44c9d4c95a.tar.bz2 |
Avoid hang on Solaris 10 in dejagnu auxiliary launcher
Diffstat (limited to 'dejagnu')
-rwxr-xr-x | dejagnu | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -248,7 +248,7 @@ if $have_gawk ; then fi # is "awk" actually GNU Awk? if $have_awk ; then - case `"$awkbin" --version 2>&1 | sed 1q` in + case `"$awkbin" --version </dev/null 2>&1 | sed 1q` in *'GNU Awk'*) have_gawk_as_awk=true ;; *) have_gawk_as_awk=false ;; esac |