diff options
author | Peter Eisentraut <peter@eisentraut.org> | 2019-03-27 23:36:00 +0100 |
---|---|---|
committer | Peter Eisentraut <peter@eisentraut.org> | 2019-03-27 23:36:00 +0100 |
commit | 12bb35fc9b000d462b9bd6b8856e1884ef1bb3d7 (patch) | |
tree | 4c2e37b87601fe1a0745c81ab22a90523163871e | |
parent | ea55aec0a97d6cade0186df1913da2c8cb5c6f2c (diff) | |
download | postgresql-12bb35fc9b000d462b9bd6b8856e1884ef1bb3d7.tar.gz postgresql-12bb35fc9b000d462b9bd6b8856e1884ef1bb3d7.zip |
Fix vpath build
Skip doc/src/sgml/images/Makefile since the directory is not created.
-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 5b72c392f68..a0eabd3dee2 100644 --- a/config/prep_buildtree +++ b/config/prep_buildtree @@ -33,7 +33,7 @@ for item in `find "$sourcetree" -type d \( \( -name CVS -prune \) -o \( -name .g fi done -for item in `find "$sourcetree" -name Makefile -print -o -name GNUmakefile -print`; do +for item in `find "$sourcetree" -name Makefile -print -o -name GNUmakefile -print | grep -v "$sourcetree/doc/src/sgml/images/"`; do filename=`expr "$item" : "$sourcetree\(.*\)"` if test ! -f "${item}.in"; then if cmp "$item" "$buildtree/$filename" >/dev/null 2>&1; then : ; else |