diff options
| author | salmonik <salmonik@tuta.io> | 2026-08-27 18:39:29 +0200 |
|---|---|---|
| committer | salmonik <salmonik@tuta.io> | 2026-08-27 18:39:29 +0200 |
| commit | 277218fe1ba1e3616bd147c9d9abecfc56b9957f (patch) | |
| tree | 0b57bdd8244db6e457dcc3203096d8b5465933fe /scripts/test-fault.sh | |
| parent | scripts: migrate all QEMU/test scripts to single system image (diff) | |
| download | rs-dos-277218fe1ba1e3616bd147c9d9abecfc56b9957f.tar.gz rs-dos-277218fe1ba1e3616bd147c9d9abecfc56b9957f.zip | |
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.
Diffstat (limited to '')
| -rwxr-xr-x | scripts/test-fault.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/test-fault.sh b/scripts/test-fault.sh index f21596d..be2d7cd 100755 --- a/scripts/test-fault.sh +++ b/scripts/test-fault.sh | |||
| @@ -41,7 +41,7 @@ wait_log() { | |||
| 41 | } | 41 | } |
| 42 | 42 | ||
| 43 | echo "==> 1/5 build kernel (debug)" | 43 | echo "==> 1/5 build kernel (debug)" |
| 44 | cargo build --package rsdos --target x86_64-unknown-uefi | 44 | cargo build --release --package rsdos --target x86_64-unknown-uefi |
| 45 | 45 | ||
| 46 | echo "==> 2/5 stage system image" | 46 | echo "==> 2/5 stage system image" |
| 47 | "$SCRIPT_DIR/mksystem.sh" --force "$SYSTEM_IMG" | 47 | "$SCRIPT_DIR/mksystem.sh" --force "$SYSTEM_IMG" |