intermediate checkin

riscv · May 1, 2024 · 7d1b717 · 7d1b717
1 parent ee5f1ff
commit 7d1b717
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
@@ -32,6 +32,8 @@ jobs:
         echo ${PWD} ; ls ; \
         autoconf ;  \
         ./configure --prefix=${PWD}/target ; \
+        make -v ; \
+        which gmake ; \
         make isa ;
     - name: Build and test simulators
       run: eval $(opam env) && test/run_tests.sh