16_ca needs huge amounts of work and I should remember what needs to be done soon...

[16.git] / src / util / shbat / wbuild.sh

diff --git a/src/util/shbat/wbuild.sh b/src/util/shbat/wbuild.sh
index b8a1c2908393e3d2a3cbf890b5858254cf439178..a0606f5b57d1b7022fd67da3a8e0f57a705f26ce 100755 (executable)
--- a/src/util/shbat/wbuild.sh
+++ b/src/util/shbat/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 ]]