CI: Add openocd debug module tests

abettati · Nov 7, 2019 · 4ed0ccf · 4ed0ccf
1 parent 7e08151
commit 4ed0ccf
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -75,7 +75,12 @@ jobs:
       name: build tools
       script:
         - ci/install-verilator.sh
+        - ci/get-openocd.sh
 
+    - stage: test
+      name: run openocd debug module tests
+      script:
+        - ci/veri-run-openocd-compliance.sh
     - stage: test
       name: run riscv tests
       script: