Merge pull request #30 from CarlWachter/build_fix

mkroening · web-flow · commit a29b9be283c2 · 2024-06-05T13:53:36.000+02:00
Toolchain build fix
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -1,6 +1,7 @@
 name: Publish
 
 on:
+  pull_request:
   push:
     branches:
       - master
diff --git a/toolchain.sh b/toolchain.sh
@@ -110,8 +110,8 @@ cmake ../../hermit/ \
     -DTOOLCHAIN_BIN_DIR=$PREFIX/bin \
     -DCMAKE_INSTALL_PREFIX=$PREFIX \
     -DBOOTSTRAP=true 
-make hermit-bootstrap
-make hermit-bootstrap-install
+make hermit
+make hermit_rs-install
 cd -
 fi
 
