diff options
| author | Andreas Kling <awesomekling@gmail.com> | 2019-09-21 15:06:57 +0200 |
|---|---|---|
| committer | Andreas Kling <awesomekling@gmail.com> | 2019-09-21 15:25:08 +0200 |
| commit | 4616a13e94a78ae4363428ce5c525685ef1c2b45 (patch) | |
| tree | 78fd5025c87fbfbe4ed65afda6deae231b0edad9 /Kernel | |
| parent | 4381dd2640674c526742163eda9e4bc8489c707e (diff) | |
| download | serenity-4616a13e94a78ae4363428ce5c525685ef1c2b45.zip | |
Build: Let's put the kernel in /boot/kernel for all builds
Diffstat (limited to 'Kernel')
| -rwxr-xr-x | Kernel/build-root-filesystem.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Kernel/build-root-filesystem.sh b/Kernel/build-root-filesystem.sh index ea8f30b9ad..adee3a8a69 100755 --- a/Kernel/build-root-filesystem.sh +++ b/Kernel/build-root-filesystem.sh @@ -130,6 +130,9 @@ ln -s Inspector mnt/bin/ins ln -s SoundPlayer mnt/bin/sp echo "done" +mkdir -p mnt/boot/ +cp kernel mnt/boot/ + # Run local sync script, if it exists if [ -f sync-local.sh ]; then sh sync-local.sh |