diff options
Diffstat (limited to 'tests/vloghtb/run-test.sh')
| -rwxr-xr-x | tests/vloghtb/run-test.sh | 5 |
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 |