summaryrefslogtreecommitdiff
path: root/extra/scripts
diff options
context:
space:
mode:
authorBernhard Reutner-Fischer <rep.dot.nop@gmail.com>2008-10-10 13:46:01 +0000
committerBernhard Reutner-Fischer <rep.dot.nop@gmail.com>2008-10-10 13:46:01 +0000
commit9f9f820d401be644168c788b2720fd0c73027fba (patch)
tree359b85883ab1a73472ef3771065a9b17e3757cd0 /extra/scripts
parent7738ddaa1197c6201886e1c8f6837af5c2c47611 (diff)
- remove bashism; don't install config/* to the target
Diffstat (limited to 'extra/scripts')
-rwxr-xr-xextra/scripts/install_headers.sh3
1 files changed, 1 insertions, 2 deletions
diff --git a/extra/scripts/install_headers.sh b/extra/scripts/install_headers.sh
index f08695aee..49b4e1be8 100755
--- a/extra/scripts/install_headers.sh
+++ b/extra/scripts/install_headers.sh
@@ -33,12 +33,11 @@ fi
(
# We must cd, or else we'll prepend "$1" to filenames!
cd "$1" || exit 1
-find ! -name '.' -a ! -path '*/.*'
+find ! -name '.' -a ! -path '*/.*' | sed -e 's/^\.\///' -e '/^config\//d'
) | \
(
IFS=''
while read -r filename; do
- filename="${filename#./}"
if test -d "$1/$filename"; then
mkdir -p "$2/$filename" 2>/dev/null
else