diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-06-15 09:31:03 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-06-15 09:31:03 +0200 |
| commit | a4ec19c25c97d68b9347d3d98637add7b18cf073 (patch) | |
| tree | 3468e74fe4026fde497d54fd7b255ef91c9b4d3d /Makefile | |
| parent | 4d1df128fa42a9e6718f38e794be8b2f8c2ff7c7 (diff) | |
Added tests/realmath to "make test"
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -161,6 +161,7 @@ test: $(TARGETS) $(EXTRA_TARGETS) cd tests/simple && bash run-test.sh cd tests/hana && bash run-test.sh cd tests/asicworld && bash run-test.sh + cd tests/realmath && bash run-test.sh cd tests/techmap && bash run-test.sh cd tests/sat && bash run-test.sh |