diff options
Diffstat (limited to 'tests/fsm/run-test.sh')
| -rwxr-xr-x | tests/fsm/run-test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/fsm/run-test.sh b/tests/fsm/run-test.sh index 57c2a5b1..42389233 100755 --- a/tests/fsm/run-test.sh +++ b/tests/fsm/run-test.sh @@ -8,7 +8,7 @@ set -e rm -rf temp mkdir -p temp echo "generating tests.." -python generate.py +python3 generate.py { all_targets="all_targets:" |