diff --git a/salut/test/run-kind2.sh b/salut/test/run-kind2.sh index 235456f11cf19de37a6aef831182896f6ccbb066..fd9e06aa15a3b5ac6cebc8fe017cab7dcbf844ae 100755 --- a/salut/test/run-kind2.sh +++ b/salut/test/run-kind2.sh @@ -183,4 +183,9 @@ ALL_RESULT="${GITROOT}/salut/test/kind2-result-`uname -n`.org" printf "%s %s | %s | %s | %s | %s | %.2f-%.2f | %s | %s | %s | %s |\n" $pb $algo ${topology} ${size} \ $prop $daemon $wallclock0 $wallclock $int $solver $timestamp `kind2 --version | cut -d ' ' -f2` >> ${ALL_RESULT} -echo "cf ${ALL_RESULT}" \ No newline at end of file +echo "cf ${ALL_RESULT}" + +if [[ -neq $pb "|" ]] + then + exit 2 +fi \ No newline at end of file