intermediate checkin

riscv · May 2, 2024 · 4dc5f30 · 4dc5f30
1 parent 0295ceb
commit 4dc5f30
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
@@ -35,6 +35,8 @@ jobs:
  make -v ; \
  which gmake ; \
  export PATH=/opt/riscv/bin:${PATH} ; \
+ riscv32-unknown-elf-gcc -march=rv32g_zbb -c -x c /dev/null ; \
+ echo "return code: $?" ; \
  make isa ;
  - name: Build and test simulators
  run: eval $(opam env) && test/run_tests.sh