summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Eisentraut2019-03-27 22:36:00 +0000
committerPeter Eisentraut2019-03-27 22:36:00 +0000
commit12bb35fc9b000d462b9bd6b8856e1884ef1bb3d7 (patch)
tree4c2e37b87601fe1a0745c81ab22a90523163871e
parentea55aec0a97d6cade0186df1913da2c8cb5c6f2c (diff)
Fix vpath build
Skip doc/src/sgml/images/Makefile since the directory is not created.
-rw-r--r--config/prep_buildtree2
1 files changed, 1 insertions, 1 deletions
diff --git a/config/prep_buildtree b/config/prep_buildtree
index 5b72c392f6..a0eabd3dee 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