diff --git a/test/zdtm.sh b/test/zdtm.sh index 4aa3be7b4..bd08e4223 100755 --- a/test/zdtm.sh +++ b/test/zdtm.sh @@ -155,6 +155,7 @@ CRIU_CPT=$CRIU TMP_TREE="" SCRIPTDIR=`dirname $CRIU`/test POSTDUMP="--action-script $SCRIPTDIR/post-dump.sh" +VERBOSE=0 ARGS="" @@ -578,10 +579,12 @@ EOF if [ -e "$DUMP_PATH/dump.log" ]; then echo "Dump log : $DUMP_PATH/dump.log" cat $DUMP_PATH/dump.log* | grep Error - cat <