Skip to content
Snippets Groups Projects
Commit 2fc9023a authored by erwan's avatar erwan
Browse files

test: run-kind2.sh now exits in error when kind2 does.

parent b77000e5
No related branches found
No related tags found
No related merge requests found
......@@ -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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment