diff options
Diffstat (limited to 'scripts/install_headers.sh')
| -rwxr-xr-x | scripts/install_headers.sh | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/scripts/install_headers.sh b/scripts/install_headers.sh index ae0e560..99e7266 100755 --- a/scripts/install_headers.sh +++ b/scripts/install_headers.sh @@ -1,14 +1,12 @@ #!/bin/sh SYSROOT="/opt/aleksa" -GCC_DIR=$(gcc --print-file-name=) +SYSROOT_INCLUDE=$SYSROOT/usr/include if [ ! -d mykernel ]; then git clone "https://github.com/aleksav013/mykernel" fi -rm -rf "$SYSROOT/usr/include" -mkdir -p "$SYSROOT/usr/include" -cp -r "$GCC_DIR"include/* "$SYSROOT/usr/include" -cp -r mykernel/src/include/* "$SYSROOT/usr/include" -cp "$SYSROOT/usr/include/stdint-gcc.h" "$SYSROOT/usr/include/stdint.h" +rm -rf "$SYSROOT_INCLUDE" +mkdir -p "$SYSROOT_INCLUDE" +cp -r mykernel/src/include/* "$SYSROOT_INCLUDE" |