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/mksystem.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'scripts/mksystem.sh') diff --git a/scripts/mksystem.sh b/scripts/mksystem.sh index dfa481c..044c86c 100755 --- a/scripts/mksystem.sh +++ b/scripts/mksystem.sh @@ -78,7 +78,7 @@ while [ $# -gt 0 ]; do done TARGET=x86_64-unknown-uefi -PROFILE=debug +PROFILE=release OUT_DIR="target/$TARGET/$PROFILE" KERNEL="$OUT_DIR/rsdos.efi" BZIMAGE="esp/bzImage" @@ -109,7 +109,7 @@ fi # ---- build kernel ---- if [ ! -f "$KERNEL" ]; then echo "mksystem: building kernel..." - cargo build --package rsdos --target "$TARGET" + cargo build --release --package rsdos --target "$TARGET" fi # ---- build bootloader (chain mode only) ---- -- cgit v1.2.3