diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -138,6 +138,7 @@ test: yosys cd tests/simple && bash run-test.sh cd tests/hana && bash run-test.sh cd tests/asicworld && bash run-test.sh + cd tests/techmap && bash run-test.sh cd tests/sat && bash run-test.sh install: $(TARGETS) $(EXTRA_TARGETS) |