diff options
Diffstat (limited to 'Util')
| -rwxr-xr-x | Util/mkdisttree.sh | 2 | ||||
| -rwxr-xr-x | Util/preconfig | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Util/mkdisttree.sh b/Util/mkdisttree.sh index 92ded2f18..17b936ed7 100755 --- a/Util/mkdisttree.sh +++ b/Util/mkdisttree.sh @@ -46,7 +46,7 @@ filelist=filelist$$ trap 'rm -f $filelist; rm -rf $disttree; exit 1' 1 2 15 ( cd $sdir_top - find . -name '?*.*' -prune -o -name .distfiles -print + find . -name .git -prune -o -name '?*.*' -prune -o -name .distfiles -print ) > $filelist ( while read dfn; do subdir=`echo $dfn | sed 's,/\.distfiles$,,'` diff --git a/Util/preconfig b/Util/preconfig index 2ad6ed2f3..aa4c93e71 100755 --- a/Util/preconfig +++ b/Util/preconfig @@ -1,6 +1,6 @@ #! /bin/sh -find . -name '?*.*' -prune -o -name .preconfig -print | ( +find . -name .git -prune -o -name '?*.*' -prune -o -name .preconfig -print | ( while read pre; do cmd=`echo $pre | sed 's,^,cd ,;s,/\([^/]*\)$, \&\& ./\1,'` echo >&2 "$cmd" |