updating make file today

[16.git] / wbuild.sh

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