aboutsummaryrefslogtreecommitdiff
path: root/run
diff options
context:
space:
mode:
authorMarvin Borner2020-01-16 21:08:43 +0100
committerGitHub2020-01-16 21:08:43 +0100
commitd5d1749257ff8b9aa6b5ace4b4720b484a2860f3 (patch)
treea2cd4f1c7995e32c1c02b191324fa63f9d30655b /run
parent602b98247e9c87e38870e39abf1d8b13aeae5d0f (diff)
parent366119b53d5148922c5df7c7bd088ed71e95499a (diff)
Merged fancy userspace paging
Diffstat (limited to 'run')
-rwxr-xr-xrun4
1 files changed, 2 insertions, 2 deletions
diff --git a/run b/run
index edb1a32..17a42f0 100755
--- a/run
+++ b/run
@@ -107,10 +107,10 @@ make_build() {
stripped=$(echo "${line}" | sed -r 's/\//_/g')
stripped=${stripped#??????}
stripped=${stripped%%?}o
- compile_with_flags -O3 -c ./"${line}" -I ./src/userspace -o ./build/userspace/"${stripped}"
+ compile_with_flags -O2 -c ./"${line}" -I ./src/userspace -o ./build/userspace/"${stripped}"
done <./build/tmp
rm ./build/tmp
- compile_with_flags -O3 ./build/userspace/*.o -T ./src/userspace/linker.ld -I ./src/userspace -o ./build/user.bin
+ compile_with_flags -O2 ./build/userspace/*.o -T ./src/userspace/linker.ld -I ./src/userspace -o ./build/user.bin
# Create ISO
mkdir -p ./iso/boot/