From 046e353607c3e56b40be369e71cf2e017c23b706 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Wed, 18 Jun 2014 12:42:05 -0400 Subject: [PATCH] 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 --- tests/tests.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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" -- 1.7.9.5