diff --git a/check.sh b/check.sh index f82a469bc6ec4ad4e50b08a059961eab39dcec01..e82c0a018747b1a991a0ea479ad764f9786666cb 100755 --- a/check.sh +++ b/check.sh @@ -26,8 +26,11 @@ echo "Checking blc_program" echo "====================" echo -$blaar_dir/compile.sh t_parse_args -$blaar_dir/bin/t_parse_args "arg1" "arg2" 2> t_parse_args/test_result.log +LOG=$(mktemp) || exit 1 +trap 'cat $LOG && rm -f "$LOG"' EXIT INT HUP TERM + +$blaar_dir/compile.sh t_parse_args 2>&1> $LOG +$blaar_dir/bin/t_parse_args "arg1" "arg2" 2> t_parse_args/test_result.log git diff --exit-code t_parse_args/test_result.log || { echo "ERROR: The result of 't_parse_args' is not the one expected"; exit 3; } echo echo "- t_parse_args: compilation:OK, execution:OK, result OK"