summaryrefslogtreecommitdiff
path: root/tests/vloghtb/run-test.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tests/vloghtb/run-test.sh')
-rwxr-xr-xtests/vloghtb/run-test.sh5
1 files changed, 3 insertions, 2 deletions
diff --git a/tests/vloghtb/run-test.sh b/tests/vloghtb/run-test.sh
index 0e01fd64..3b8a3e9e 100755
--- a/tests/vloghtb/run-test.sh
+++ b/tests/vloghtb/run-test.sh
@@ -7,8 +7,9 @@ wget http://www.clifford.at/yosys/nogit/vloghammer_tb.tar.bz2
tar --strip=1 -xjf vloghammer_tb.tar.bz2
make clean
-make -j4 EXIT_ON_ERROR=1 YOSYS_BIN=$PWD/../../yosys YOSYS_SCRIPT="proc;;" check_yosys
-
rm -rf log_test_*
+
+make -j4 EXIT_ON_ERROR=1 YOSYS_BIN=$PWD/../../yosys YOSYS_SCRIPT="proc;;" check_yosys
make -j4 -f test_makefile MODE=share
+make -j4 -f test_makefile MODE=mapopt