diff --git a/nac3standalone/demo/check_demo.sh b/nac3standalone/demo/check_demo.sh index 31fbbac..bcf9a69 100755 --- a/nac3standalone/demo/check_demo.sh +++ b/nac3standalone/demo/check_demo.sh @@ -17,3 +17,5 @@ echo -n "Checking $demo... " diff -Nau interpreted.log run.log diff -Nau interpreted.log run_lli.log echo "ok" + +rm -f interpreted.log run.log run_lli.log