From 5d27ee2c17ae1de1bc2be2676c7ca6617f02b681 Mon Sep 17 00:00:00 2001
From: Anton-4 <17049058+Anton-4@users.noreply.github.com>
Date: Fri, 24 Nov 2023 12:14:36 +0100
Subject: [PATCH] optimize basic platform builds

---
 ci/build_basic_cli.sh       | 4 ++--
 ci/build_basic_webserver.sh | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/ci/build_basic_cli.sh b/ci/build_basic_cli.sh
index 832f6d316f..d4885ee2bd 100755
--- 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
index 23460c9075..bbd1e103c3 100755
--- a/ci/build_basic_webserver.sh
+++ b/ci/build_basic_webserver.sh
@@ -42,7 +42,7 @@ 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
@@ -50,7 +50,7 @@ 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 ..