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 e48bab9c6..3e3d719b8 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 '*.*' -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 cae284503..38d92634a 100755 --- a/Util/preconfig +++ b/Util/preconfig @@ -1,6 +1,6 @@ #! /bin/sh -find . \( -name '?*.*' -prune \) -o \( -name .preconfig -print \) | ( +find . \( -name '?*.*' -prune \) -o -name .preconfig -print | ( while read pre; do cmd=`echo $pre | sed 's,^,cd ,;s,/\([^/]*\)$, \&\& ./\1,'` echo >&2 "$cmd" |