diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
index 4b8f5d788..3bad45b2d 100644
--- 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