more fixes for verilator dev test

bat52 · Feb 11, 2024 · 9bc8100 · 9bc8100
1 parent 6284dd5
commit 9bc8100
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/test_verilator_dev.yml b/.github/workflows/test_verilator_dev.yml
@@ -43,12 +43,13 @@ jobs:
         # sudo make install
 
         set VERILATOR_ROOT=`pwd`
-        export PATH=$PATH:$VERILATOR_ROOT/bin
+        set PATH=$PATH:$VERILATOR_ROOT/bin
+        which verilator
         cd ..
     - name: check verilator version
       run: |
-        ls ./verilator
-        ls ./verilator/bin
+        # ls ./verilator
+        # ls ./verilator/bin
         which verilator
         verilator --version
     - name: check gcc version