diff options
author | Alvaro Herrera <alvherre@alvh.no-ip.org> | 2010-10-25 09:24:02 -0300 |
---|---|---|
committer | Alvaro Herrera <alvherre@alvh.no-ip.org> | 2010-10-25 10:04:00 -0300 |
commit | 9350824e708678f6af9657979ba656cf1951b408 (patch) | |
tree | dd14563b51ca519117fe57be787971293febb4e0 | |
parent | 4ba61a487e39eaf859cd9face9520b30127e6a91 (diff) | |
download | postgresql-9350824e708678f6af9657979ba656cf1951b408.tar.gz postgresql-9350824e708678f6af9657979ba656cf1951b408.zip |
find -path is not portable, so use grep -v instead.
Per previous failure of buildfarm member koi (which is no longer
failing, alas).
-rw-r--r-- | config/prep_buildtree | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/prep_buildtree b/config/prep_buildtree index 30572326d44..5b72c392f68 100644 --- a/config/prep_buildtree +++ b/config/prep_buildtree @@ -26,7 +26,7 @@ buildtree=`cd ${2:-'.'} && pwd` # If we did, it would interfere with installation of prebuilt docs from # the source tree, if a VPATH build is done from a distribution tarball. # See bug #5595. -for item in `find "$sourcetree" -type d \( \( -name CVS -prune \) -o \( -name .git -prune \) -o \( -path "$sourcetree/doc/src/sgml/*" -prune \) -o -print \)`; do +for item in `find "$sourcetree" -type d \( \( -name CVS -prune \) -o \( -name .git -prune \) -o -print \) | grep -v "$sourcetree/doc/src/sgml/\+"`; do subdir=`expr "$item" : "$sourcetree\(.*\)"` if test ! -d "$buildtree/$subdir"; then mkdir -p "$buildtree/$subdir" || exit 1 |