From 970502db9ce03dabde41d4cf9b0ffc5d22b935ea Mon Sep 17 00:00:00 2001 From: CapCreeperGR Date: Sun, 7 Jul 2024 11:15:59 +0000 Subject: [PATCH] Added API headers --- source.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/source.sh b/source.sh index 58f2d7a..8114564 100644 --- a/source.sh +++ b/source.sh @@ -19,6 +19,7 @@ prepare() { # This function is used to compile the source code build() { make + make headers } # The package function is executed in the source directory @@ -28,6 +29,9 @@ package() { mkdir -p "$BPM_OUTPUT"/boot cp -v arch/x86/boot/bzImage "$BPM_OUTPUT"/boot/vmlinuz-"$BPM_PKG_VERSION"-tide cp -v .config "$BPM_OUTPUT"/boot/config-"$BPM_PKG_VERSION"-tide + find usr/include -type f ! -name '*.h' -delete + mkdir -p "$BPM_OUTPUT"/usr/include + cp -r usr/include/. "$BPM_OUTPUT"/usr/include/ mkdir -p "$BPM_OUTPUT"/usr/share/doc/ cp -r Documentation -T "$BPM_OUTPUT"/usr/share/doc/linux-"$BPM_PKG_VERSION"-tide }