standalone: Fork demo processes

Reduces time required to run check_demos.sh by 1/2.
This commit is contained in:
David Mak 2023-10-03 11:57:47 +08:00
parent 32f875f765
commit e1e219e884
1 changed files with 5 additions and 3 deletions

View File

@ -11,9 +11,11 @@ demo="${@:-1}"
set -- "${@:1:$(($# - 1))}"
echo -n "Checking $demo... "
./interpret_demo.py "$demo" > interpreted.log
./run_demo.sh --redirect-exe-stdout --suppress-nac3-warnings "$@" "$demo"
./run_demo_lli.sh --redirect-exe-stdout --suppress-nac3-warnings "$@" "$demo"
./interpret_demo.py "$demo" > interpreted.log &
./run_demo.sh --redirect-exe-stdout --suppress-nac3-warnings "$@" "$demo" &
./run_demo_lli.sh --redirect-exe-stdout --suppress-nac3-warnings "$@" "$demo" &
wait
diff -Nau interpreted.log run.log
diff -Nau interpreted.log run_lli.log
echo "ok"