diff options
Diffstat (limited to 'tests/tools/autotest.sh')
| -rwxr-xr-x | tests/tools/autotest.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh index e599db3a..cb1e3a96 100755 --- a/tests/tools/autotest.sh +++ b/tests/tools/autotest.sh @@ -140,9 +140,9 @@ do if [ -n "$scriptfiles" ]; then test_passes else - test_passes -p hierarchy -p proc -p memory -p opt -p fsm -p opt - test_passes -p hierarchy -p proc -p memory -p opt -p fsm -p opt -p techmap -p opt - # test_passes -p hierarchy -p proc -p memory -p opt -p techmap -p opt -p abc -p opt + test_passes -p "hierarchy; proc; memory; opt; fsm; opt" + test_passes -p "hierarchy; proc; memory; opt; fsm; opt; techmap; opt" + # test_passes -p "hierarchy; proc; memory; opt; fsm; opt; techmap -opt; opt; abc; opt" fi touch ../${bn}.log } |