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