diff options
author | Marvin Borner | 2020-01-16 21:08:43 +0100 |
---|---|---|
committer | GitHub | 2020-01-16 21:08:43 +0100 |
commit | d5d1749257ff8b9aa6b5ace4b4720b484a2860f3 (patch) | |
tree | a2cd4f1c7995e32c1c02b191324fa63f9d30655b /run | |
parent | 602b98247e9c87e38870e39abf1d8b13aeae5d0f (diff) | |
parent | 366119b53d5148922c5df7c7bd088ed71e95499a (diff) |
Merged fancy userspace paging
Diffstat (limited to 'run')
-rwxr-xr-x | run | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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/ |