updating make file today

[16.git] / wbuild.sh

diff --git a/wbuild.sh b/wbuild.sh
index 12b60be76c31ffc8254e9fffcdbad8e8dfa0645b..4a2290e30c1576d62813965d777bc5481e6bfd81 100755 (executable)
--- a/wbuild.sh
+++ b/wbuild.sh
@@ -7,7 +7,7 @@ then
        echo dumping *.err
        cat *.err
 fi
-if [ -f *.o ]
+if [ -f 16_head.o ]
 then
        rm *.o
 fi