Specify correct verilator version

This commit is contained in:
Florian Zaruba 2018-01-25 10:56:14 +01:00
parent 42d577e519
commit 440e89a719
No known key found for this signature in database
GPG key ID: E742FFE8EC38A792

View file

@ -68,8 +68,8 @@ test_core_asm:
test_core_asm_verilator:
stage: test
script:
- make verilate
- make run-asm-tests-verilator verilator=$CI_PROJECT_DIR/tmp/bin/verilator
- make verilate verilator=$CI_PROJECT_DIR/tmp/bin/verilator
- make run-asm-tests-verilator
dependencies:
- build-ci