From cd9219df52c555ea0dd7b9537acdfebb3172246c Mon Sep 17 00:00:00 2001 From: apio Date: Wed, 2 Aug 2023 11:56:00 +0200 Subject: [PATCH] tools: Install kernel API headers into /usr/include/moon --- tools/install-headers.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/install-headers.sh b/tools/install-headers.sh index 9e1eca75..e7f919dd 100755 --- a/tools/install-headers.sh +++ b/tools/install-headers.sh @@ -9,7 +9,9 @@ mkdir -p $LUNA_BASE mkdir -p $LUNA_BASE/usr/include mkdir -p $LUNA_BASE/usr/include/luna mkdir -p $LUNA_BASE/usr/include/os +mkdir -p $LUNA_BASE/usr/include/moon cp --preserve=timestamps -RT libc/include/ $LUNA_BASE/usr/include cp --preserve=timestamps -RT libluna/include/luna/ $LUNA_BASE/usr/include/luna cp --preserve=timestamps -RT libos/include/os/ $LUNA_BASE/usr/include/os +cp --preserve=timestamps -RT kernel/src/api/ $LUNA_BASE/usr/include/moon