diff options
author | rsc <devnull@localhost> | 2005-01-23 01:55:42 +0000 |
---|---|---|
committer | rsc <devnull@localhost> | 2005-01-23 01:55:42 +0000 |
commit | 8327d419814d5ccfa9c005b371267d783f585177 (patch) | |
tree | bc60311dff3c1be4091f1ce9d595947a78334361 | |
parent | 311b2afde92cfdfaf11075d79ac9c73e61301c82 (diff) | |
download | plan9port-8327d419814d5ccfa9c005b371267d783f585177.tar.gz plan9port-8327d419814d5ccfa9c005b371267d783f585177.tar.bz2 plan9port-8327d419814d5ccfa9c005b371267d783f585177.zip |
redirect debugging output of isnptl
-rwxr-xr-x | INSTALL | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |