diff options
author | Peter Eisentraut | 2001-02-09 20:24:08 +0000 |
---|---|---|
committer | Peter Eisentraut | 2001-02-09 20:24:08 +0000 |
commit | 7c300cd1133b74a6afce29bbe949b5f9b0ddb414 (patch) | |
tree | 0d1979d841c4b20ae57a8768fcb82f566478dbd3 | |
parent | acfe18213c70f11173d39d831ad02d8f43f32349 (diff) |
Make more portable.
-rw-r--r-- | config/prep_buildtree | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/config/prep_buildtree b/config/prep_buildtree index 4e35b51813..0a421a046c 100644 --- a/config/prep_buildtree +++ b/config/prep_buildtree @@ -3,7 +3,6 @@ # This script prepares a PostgreSQL build tree. It is intended # to be run by the configure script. -set -e me=`basename $0` help="\ @@ -20,14 +19,16 @@ sourcetree=$1 buildtree=${2:-'.'} -for item in `find "$sourcetree" -type d -\( -name CVS -prune -o -print -\)`; do - subdir=`expr "$item" : "$sourcetree\(.*\)"` || true - mkdir -p "$buildtree/$subdir" +for item in `find "$sourcetree" -type d \( -name CVS -prune -o -print \)`; do + subdir=`expr "$item" : "$sourcetree\(.*\)"` + if test ! -d "$buildtree/$subdir"; then + mkdir -p "$buildtree/$subdir" || exit + fi done for item in `find "$sourcetree" -name Makefile -o -name GNUmakefile`; do - subdir=`expr "$item" : "$sourcetree\(.*\)"` || true - if test ! -e "${item}.in"; then - ln -fs "$item" "$buildtree/$subdir" + subdir=`expr "$item" : "$sourcetree\(.*\)"` + if test ! -f "${item}.in"; then + ln -fs "$item" "$buildtree/$subdir" || exit fi done |