update repo

[proj16/16.git] / wbuild.sh

diff --git a/wbuild.sh b/wbuild.sh
index b8a1c29..a0606f5 100755 (executable)
--- a/wbuild.sh
+++ b/wbuild.sh
@@ -1,7 +1,7 @@
 #! /bin/bash
 pee="-h"
 # -s"
-wmake ${pee} clean
+wmake -h -s clean
 wmake ${pee}
 wmake ${pee} comp
 #if [[ -f *.err ]]