From: Jean Privat Date: Wed, 18 Jun 2014 16:42:05 +0000 (-0400) Subject: tests.sh: distinguish the generated file from the executed file X-Git-Tag: v0.6.6~21^2~1 X-Git-Url: http://nitlanguage.org tests.sh: distinguish the generated file from the executed file Some some future engines that does not produce directly executable files could still use the tests.sh framework. Signed-off-by: Jean Privat --- diff --git a/tests/tests.sh b/tests/tests.sh index b8ecd0a..8e2c65f 100755 --- a/tests/tests.sh +++ b/tests/tests.sh @@ -409,6 +409,8 @@ for ii in "$@"; do inputs=/dev/null fi + ffout="$ff.bin" + if [ "$engine" = "niti" ]; then cat > "./$ff.bin" < "$ff.cmp.err" > "$ff.compile.log" + $TIMEOUT $NITC --no-color $OPT -o "$ffout" "$i" $includes $nocc 2> "$ff.cmp.err" > "$ff.compile.log" ERR=$? if [ "x$verbose" = "xtrue" ]; then cat "$ff.compile.log"