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
participants (2)
-
henrik@hswn.dk
-
jf@cs.au.dk