build: default profile is release (debug too slow for dev loop)

Makefile: PROFILE=release, CARGO_FLAGS=--release; make release target
kept as no-op (now default).  boot.sh: PROFILE=release default;
--debug flag opt-in.  mksystem.sh: PROFILE=release default.
test-disk/fault/gfx/mouse/msg: all use --release.
All scripts syntax-checked.

1 files changed, 10 insertions, 6 deletions

diff --git a/scripts/boot.sh b/scripts/boot.sh
index 9c60dc9..cb017d8 100755
--- a/scripts/boot.sh
+++ b/scripts/boot.sh
@@ -32,8 +32,8 @@ OVMF="${OVMF:-/usr/share/edk2/x64/OVMF.4m.fd}"
 MEM="${MEM:-256M}"
 SMP="${SMP:-1}"
 SYSTEM_IMG="${SYSTEM_IMG:-/tmp/system.img}"
-PROFILE="debug"
-CARGO_FLAGS=""
+PROFILE="release"
+
 GUI=""
 DEBUG=""
 
@@ -41,9 +41,9 @@ DEBUG=""
 source "$SCRIPT_DIR/lib-boot-args.sh"
 handle_arg() {
         case "$1" in
-        --release | -r)
-                PROFILE="release"
-                CARGO_FLAGS="--release"
+        --debug)
+                PROFILE="debug"
+                CARGO_FLAGS=""
                 ;;
         *)
                 echo "unknown: $1"
@@ -57,7 +57,11 @@ OUT_DIR="target/x86_64-unknown-uefi/$PROFILE"
 
 # ---- build ----
 echo "=== Building kernel ($PROFILE) ==="
-cargo build --package rsdos --target x86_64-unknown-uefi $CARGO_FLAGS
+if [ "$PROFILE" = "release" ]; then
+        cargo build --release --package rsdos --target x86_64-unknown-uefi
+else
+        cargo build --package rsdos --target x86_64-unknown-uefi
+fi
 
 # ---- stage system image ----
 echo "=== Staging system image ==="