diff --git a/examples/acceptance_tests/run b/examples/acceptance_tests/run index 4974e956..2bbe07b4 100755 --- a/examples/acceptance_tests/run +++ b/examples/acceptance_tests/run @@ -27,4 +27,5 @@ if [ "$?" -eq "0" ]; then else echo "❌ $(basename $TARGET)" cat $TMP + exit 1 fi