Avoid hang on Solaris 10 in dejagnu auxiliary launcher

1 files changed, 1 insertions, 1 deletions

diff --git a/dejagnu b/dejagnu
index d323a62..ee9c007 100755
--- a/dejagnu
+++ b/dejagnu
@@ -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