diff options
| author | Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> | 2008-10-10 13:46:01 +0000 |
|---|---|---|
| committer | Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> | 2008-10-10 13:46:01 +0000 |
| commit | 9f9f820d401be644168c788b2720fd0c73027fba (patch) | |
| tree | 359b85883ab1a73472ef3771065a9b17e3757cd0 | |
| parent | 7738ddaa1197c6201886e1c8f6837af5c2c47611 (diff) | |
- remove bashism; don't install config/* to the target
| -rwxr-xr-x | extra/scripts/install_headers.sh | 3 |
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 |