From 769fd01df8a31ec5a3a8d2f89afe7c29e2a9a423 Mon Sep 17 00:00:00 2001 From: David Mak Date: Thu, 14 Sep 2023 14:11:43 +0800 Subject: [PATCH] meta: Allow specifying compiler arguments for check_demos --- nac3standalone/demo/check_demos.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/nac3standalone/demo/check_demos.sh b/nac3standalone/demo/check_demos.sh index 1c32cbe5..d7fa8b16 100755 --- a/nac3standalone/demo/check_demos.sh +++ b/nac3standalone/demo/check_demos.sh @@ -6,7 +6,7 @@ count=0 for demo in src/*.py; do echo -n "checking $demo... " ./interpret_demo.py $demo > interpreted.log - ./run_demo.sh $demo > run.log + ./run_demo.sh "$@" $demo > run.log diff -Nau interpreted.log run.log echo "ok" let "count+=1"