Merge pull request #30 from CarlWachter/build_fix

Toolchain build fix
hermit-os · Jun 5, 2024 · a29b9be · a29b9be
2 parents 2ddf6ec + 7e3c0a0
commit a29b9be
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
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