diff options
| -rwxr-xr-x | extra/scripts/install_headers.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extra/scripts/install_headers.sh b/extra/scripts/install_headers.sh index f01d89445..ea33db4ae 100755 --- a/extra/scripts/install_headers.sh +++ b/extra/scripts/install_headers.sh @@ -33,7 +33,7 @@ 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' ) | \ ( |