diff options
| -rwxr-xr-x | tests/tools/autotest.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh index 5a302bcd4..e53768095 100755 --- a/tests/tools/autotest.sh +++ b/tests/tools/autotest.sh @@ -150,7 +150,7 @@ do else 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" + # test_passes -p "hierarchy; proc; memory; opt; fsm; opt; techmap; opt; abc; opt" fi touch ../${bn}.log } |