enhance dumps

[protos/libecoli.git] / lib / test.sh

diff --git a/lib/test.sh b/lib/test.sh
index 3d97e77..9d78a68 100755 (executable)
--- a/lib/test.sh
+++ b/lib/test.sh
@@ -4,7 +4,7 @@ set -e
 
 SEED=100
 while [ ${SEED} -gt 0 ]; do
-       CMD="./build/test --random-alloc-fail=1 --seed=${SEED}"
+       CMD="./build/test --random-alloc-fail=1 --seed=${SEED} $*"
        ${CMD} --log-level=0 || (
                echo "=== test failed, replay seed=${SEED} with logs ===" &&
                ${CMD} --log-level=6 ||