fix: don't install kernel-specific headers

Signed-off-by: Martin Kröning <[email protected]>
hermit-os · Aug 9, 2024 · 326cae9 · 326cae9
1 parent e2aa7f1
commit 326cae9
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -22,7 +22,6 @@ WORKDIR /root
 
 ADD --link https://github.com/hermit-os/binutils.git binutils
 ADD --link https://github.com/hermit-os/gcc.git gcc
-ADD --link https://github.com/hermit-os/hermit-playground.git hermit
 ADD --link https://github.com/hermit-os/kernel.git#hermit-c kernel
 ADD --link https://github.com/hermit-os/newlib.git newlib
 ADD --link https://github.com/hermit-os/pthread-embedded.git pte

diff --git a/toolchain.sh b/toolchain.sh
@@ -69,8 +69,6 @@ make install-gcc
 cd -
 fi
 
-cp -r hermit/include $PREFIX/x86_64-hermit
-
 cd kernel
 cargo xtask build \
     --artifact-dir . \