diff options
author | Dennis Kobert <dennis@kobert.dev> | 2019-11-08 07:28:08 +0100 |
---|---|---|
committer | Dennis Kobert <dennis@kobert.dev> | 2019-11-08 07:28:08 +0100 |
commit | d261a0f15a350d81430d3937d3c02118c395d27c (patch) | |
tree | 78cba47d4e7a31fdde64dc7b483ed5fd7d183aca /kernel/run | |
parent | a9d39fdb56526c4146d92e6af68cc175ec4da7c2 (diff) |
Implement guarding page
Diffstat (limited to 'kernel/run')
-rwxr-xr-x | kernel/run | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -8,7 +8,7 @@ onerr() { trap onerr ERR name="uff" -build_mode=debug +build_mode=release action=help target=x86_64 test_mode=false @@ -80,7 +80,7 @@ build() { # cargo xbuild #fi if ! $test_mode; then - cargo xbuild + cargo xbuild "--$build_mode" fi build_iso } |