build per default the release version

hermit-os · Mar 26, 2023 · 684077b · 684077b
1 parent 84d2ea3
commit 684077b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/toolchain.sh b/toolchain.sh
@@ -165,7 +165,8 @@ cd tmp/final
 cmake ../../hermit \
     -DTOOLCHAIN_BIN_DIR=$PREFIX/bin \
     -DCMAKE_INSTALL_PREFIX=$PREFIX \
-    -DMTUNE=native 
+    -DMTUNE=native \
+    -DCMAKE_BUILD_TYPE=Release
 make
 make install
 cd -