From 7952ca48be2f8ec4f1277ccd72b5cc87e0138561 Mon Sep 17 00:00:00 2001 From: Aleksa Vučković Date: Wed, 3 Nov 2021 23:26:19 +0100 Subject: Moving install_headers to Makefile --- headers.sh | 8 -------- 1 file changed, 8 deletions(-) delete mode 100755 headers.sh (limited to 'headers.sh') diff --git a/headers.sh b/headers.sh deleted file mode 100755 index 6e6425d..0000000 --- a/headers.sh +++ /dev/null @@ -1,8 +0,0 @@ -rm -rf sysroot/usr/include -mkdir -p sysroot/usr/include -cp /usr/lib/gcc/i686-elf/11.1.0/include/stdbool.h sysroot/usr/include -cp /usr/lib/gcc/i686-elf/11.1.0/include/stddef.h sysroot/usr/include -cp /usr/lib/gcc/i686-elf/11.1.0/include/stdint.h sysroot/usr/include/stdint.h -cp /usr/lib/gcc/i686-elf/11.1.0/include/stdint-gcc.h sysroot/usr/include/stdint-gcc.h -cp /usr/lib/gcc/i686-elf/11.1.0/include/stdarg.h sysroot/usr/include -cp -r src/include/* sysroot/usr/include -- cgit v1.2.3