Merge pull request #6078 from roc-lang/forgot-optimize

optimize basic platform builds
roc-lang · Nov 25, 2023 · f6593c2 · f6593c2
2 parents 62cdfe3 + 5d27ee2
commit f6593c2
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/ci/build_basic_cli.sh b/ci/build_basic_cli.sh
@@ -36,14 +36,14 @@ mv roc_nightly* roc_nightly
 cd roc_nightly
 
 # build the basic cli platform
-./roc build ../basic-cli/examples/countdown.roc
+./roc build ../basic-cli/examples/countdown.roc --optimize
 
 # We need this extra variable so we can safely check if $2 is empty later
 EXTRA_ARGS=${2:-}
 
 # In some rare cases it's nice to be able to use the legacy linker, so we produce the .o file to be able to do that
 if [ -n "${EXTRA_ARGS}" ];
- then ./roc build $EXTRA_ARGS ../basic-cli/examples/countdown.roc
+ then ./roc build $EXTRA_ARGS ../basic-cli/examples/countdown.roc --optimize
 fi
 
 cd ..
diff --git a/ci/build_basic_webserver.sh b/ci/build_basic_webserver.sh
@@ -42,15 +42,15 @@ cd roc_nightly
 # prevent https://github.com/roc-lang/basic-webserver/issues/9
 if [ "$OS" != "Linux" ] || [ "$ARCH" != "x86_64" ]; then
     # build the basic-webserver platform
-    ./roc build ../basic-webserver/examples/echo.roc
+    ./roc build ../basic-webserver/examples/echo.roc --optimize
 fi
 
 # We need this extra variable so we can safely check if $2 is empty later
 EXTRA_ARGS=${2:-}
 
 # In some rare cases it's nice to be able to use the legacy linker, so we produce the .o file to be able to do that
 if [ -n "${EXTRA_ARGS}" ];
- then ./roc build $EXTRA_ARGS ../basic-webserver/examples/echo.roc
+ then ./roc build $EXTRA_ARGS ../basic-webserver/examples/echo.roc --optimize
 fi
 
 cd ..