diff options
| author | Aleksa Vučković <aleksav013@gmail.com> | 2022-01-31 10:26:32 +0100 |
|---|---|---|
| committer | Aleksa Vučković <aleksav013@gmail.com> | 2022-01-31 10:26:32 +0100 |
| commit | 147200155c716a4ee76aa1f0402b90012d0a2883 (patch) | |
| tree | 25f0695605718c25e2c6d866ac1e225d75e9f8d3 /scripts/install_headers.sh | |
| parent | a914c37365967afaf3148293a857c36af6f94ecb (diff) | |
80 char per line
Diffstat (limited to 'scripts/install_headers.sh')
| -rwxr-xr-x | scripts/install_headers.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/install_headers.sh b/scripts/install_headers.sh index 213d9d5..8707fa8 100755 --- a/scripts/install_headers.sh +++ b/scripts/install_headers.sh @@ -3,4 +3,5 @@ SYSROOT="/opt/aleksa" SYSROOT_INCLUDE=$SYSROOT/usr/include/ +mkdir -p "$SYSROOT_INCLUDE" rsync src/include/ "$SYSROOT_INCLUDE" -ru --delete |