diff options
Diffstat (limited to 'tests/script/runtests.sh')
| -rwxr-xr-x | tests/script/runtests.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/script/runtests.sh b/tests/script/runtests.sh index 5f513da..5313d0f 100755 --- a/tests/script/runtests.sh +++ b/tests/script/runtests.sh @@ -28,8 +28,8 @@ do pushd $dir echo "Compiling $example..." - make_output=`make clean` - make_output=`make` + make_output=`make clean TEST=1` + make_output=`make TEST=1` if [[ $? -ne 0 ]]; then failures+=("$example") echo "Example $example failed" |