diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-07-20 13:20:52 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-07-20 15:33:05 +0200 |
| commit | 2e358bd6678aba687908fe4a359c82aa5dff110d (patch) | |
| tree | 214ad62b6aefb9d243ecbe2bcb4d739d70df9c43 /tests/vloghtb/run-test.sh | |
| parent | 6f450d0224a3ad09c61c5a150e3e7b3b6241338d (diff) | |
Added tests/vloghtb/test_share.sh
Diffstat (limited to 'tests/vloghtb/run-test.sh')
| -rwxr-xr-x | tests/vloghtb/run-test.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/vloghtb/run-test.sh b/tests/vloghtb/run-test.sh index 9bef4450..6b3c2651 100755 --- a/tests/vloghtb/run-test.sh +++ b/tests/vloghtb/run-test.sh @@ -7,5 +7,6 @@ wget http://www.clifford.at/yosys/nogit/vloghammer_tb.tar.bz2 tar --strip=1 -xjf vloghammer_tb.tar.bz2 make clean -make -j4 YOSYS_BIN=$PWD/../../yosys YOSYS_SCRIPT="proc;;" check_yosys +make -j4 EXIT_ON_ERROR=1 YOSYS_BIN=$PWD/../../yosys YOSYS_SCRIPT="proc;;" check_yosys +make -j4 -f test_makefile MODE=share |