From 8327d419814d5ccfa9c005b371267d783f585177 Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Sun, 23 Jan 2005 01:55:42 +0000
Subject: [PATCH] redirect debugging output of isnptl

---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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