diff options
| author | Aleksa Vučković <aleksav013@gmail.com> | 2022-01-13 01:17:04 +0100 |
|---|---|---|
| committer | Aleksa Vučković <aleksav013@gmail.com> | 2022-01-13 01:17:19 +0100 |
| commit | 8e377d9241ed4098b58d3531c80aa2c0cb285077 (patch) | |
| tree | f358d47a143258902b6b4f54d284dce31b083518 /scripts/install_headers.sh | |
| parent | 0daf9be64d6e5ef7c3e2883254d4982120488566 (diff) | |
bugfixes and additions
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" |