typo in build/clock-gettime-librt.sh

[Jonathan Frumer]

Hi,

There is a typo in build/clock-gettime-librt.sh &dev/null vs. /dev/null :

--- clock-gettime-librt.sh.old	2008-10-01 14:34:29.000000000 +0200
+++ clock-gettime-librt.sh	2008-10-01 14:34:38.000000000 +0200
@@ -6,7 +6,7 @@
  	OS=`uname -s | tr '[/]' '[_]'` $MAKE -f 
Makefile.test-clockgettime-librt clean
  	OS=`uname -s | tr '[/]' '[_]'` $MAKE -f 
Makefile.test-clockgettime-librt test-link 1>/dev/null 2>&1
  	if [ $? -ne 0 ]; then
-		OS=`uname -s | tr '[/]' '[_]'` $MAKE -f 
Makefile.test-clockgettime-librt test-link-rt 1>&dev/null 2>&1
+		OS=`uname -s | tr '[/]' '[_]'` $MAKE -f 
Makefile.test-clockgettime-librt test-link-rt 1>/dev/null 2>&1
  		if [ $? -eq 0 ]; then
  			echo "clock_gettime() requires librt"
  			LIBRTDEF="-lrt"


/Jonathan