2019-06-17 14:09:32 +00:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
2021-07-18 03:55:14 +00:00
|
|
|
make HOSTCC="$CC" headers
|
2020-04-27 13:07:07 +00:00
|
|
|
|
|
|
|
|
# The headers require rsync for installation, this command
|
2021-07-01 16:23:00 +00:00
|
|
|
# simply does the equivalent using find, mkdir and cp.
|
2020-04-27 13:07:07 +00:00
|
|
|
find usr/include -name \*.h -type f | while read -r file; do
|
2021-07-01 16:23:00 +00:00
|
|
|
mkdir -p "$1/${file%/*}"
|
|
|
|
|
cp -f "$file" "$1/$file"
|
2020-04-27 13:07:07 +00:00
|
|
|
done
|
