From 326cae9e4a865fef12616a02a399f7b729a00bf1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Kr=C3=B6ning?= Date: Fri, 9 Aug 2024 16:51:02 +0000 Subject: [PATCH] fix: don't install kernel-specific headers MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Martin Kröning --- Dockerfile | 1 - toolchain.sh | 2 -- 2 files changed, 3 deletions(-) diff --git a/Dockerfile b/Dockerfile index 14c0abd..055e6a1 100644 --- 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 index 41ed1d2..3056187 100755 --- 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 . \