[Bug 682] add --disable-debugging to the test build mix

bk: 44da619b6pPKdIMdgYHLBYpP3-ZHLg

diff --git a/build b/build
index 3da78e14fea9c70a447d04aee48ed461872ba1f3..4eab58e0d375763c0ce6d7c7a325d5a01f1522ed 100755 (executable)
--- a/build
+++ b/build
@@ -70,6 +70,12 @@ case "$CONFIG_ARGS" in
     ;;
 esac
 
+case "$CONFIG_ARGS" in
+ *--disable-debugging*)
+    KEYSUF="$KEYSUF-nodebug"
+    ;;
+esac
+
 CCSUF=""
 
 case "$CC" in

diff --git a/flock-build b/flock-build
index b34a8592f2b22bb7bd745a86745fbb53f843ed27..b9dbe69921faefeb3b913107bef365c0bb61575a 100755 (executable)
--- a/flock-build
+++ b/flock-build
@@ -47,6 +47,7 @@ do
        ;;
      1) ssh $i "cd $c_d ; \
 ./build $SIG $PARSE $STD $BUILD_ARGS ; \
+./build $SIG $PARSE $STD --disable-debugging $BUILD_ARGS ; \
 ./build $SIG $PARSE $STD --without-crypto $BUILD_ARGS ; \
 ./build $SIG        $STD --disable-all-clocks $BUILD_ARGS" \
 &