1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL b/INSTALL
index 6bf7a674..c0c04db2 100755
--- a/INSTALL
+++ b/INSTALL
@@ -13,7 +13,7 @@ if [ `uname` = Linux ]; then
 	# linking with NPTL by default, pretend to be an older kernel.
 	echo "Running on Linux: checking for NPTL..."
 	gcc lib/linux-isnptl.c -lpthread
-	if ./a.out
+	if ./a.out >/dev/null
 	then	
 		echo "	NPTL found."
 		echo "SYSVERSION=2.6.x" >$PLAN9/config