From 277218fe1ba1e3616bd147c9d9abecfc56b9957f Mon Sep 17 00:00:00 2001 From: salmonik Date: Thu, 27 Aug 2026 18:39:29 +0200 Subject: 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. --- scripts/boot.sh | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) (limited to 'scripts/boot.sh') 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 ===" -- cgit v1.2.3