diff options
author | Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> | 2008-10-10 13:50:38 +0000 |
---|---|---|
committer | Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> | 2008-10-10 13:50:38 +0000 |
commit | 840d49dc036274b0fded03b30c8d4a92c432378e (patch) | |
tree | 0beb580d1689c5836e6ac81a985471ca46ccc83c | |
parent | 9f9f820d401be644168c788b2720fd0c73027fba (diff) |
- .. and don't install the config dir, too
-rwxr-xr-x | extra/scripts/install_headers.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/extra/scripts/install_headers.sh b/extra/scripts/install_headers.sh index 49b4e1be8..d38d85327 100755 --- a/extra/scripts/install_headers.sh +++ b/extra/scripts/install_headers.sh @@ -33,7 +33,8 @@ fi ( # We must cd, or else we'll prepend "$1" to filenames! cd "$1" || exit 1 -find ! -name '.' -a ! -path '*/.*' | sed -e 's/^\.\///' -e '/^config\//d' +find ! -name '.' -a ! -path '*/.*' | sed -e 's/^\.\///' -e '/^config\//d' \ + -e '/^config$/d' ) | \ ( IFS='' |