diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-11-26 13:42:27 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-11-26 13:42:27 +0000 |
commit | 945fb9f4c3ab671d47748a3a021a8481b705beac (patch) | |
tree | dadf9aba5c78571d2fee0454531c9cd4175d0ba2 | |
parent | c10c62d53ae784f22021cd172697eded385e5d69 (diff) |
Makefile fix for new versions of Make (thanks Clark for noticing this); see e.g. http://osdir.com/ml/bug-make-gnu/2011-04/msg00011.html
-rw-r--r-- | Makefile.builds.in | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile.builds.in b/Makefile.builds.in index f97bf56b8..6f9c7aaab 100644 --- a/Makefile.builds.in +++ b/Makefile.builds.in @@ -222,6 +222,9 @@ doc-internals-builds: doc-prereq doc-prereq: +(cd $(CURRENT_BUILD) && for dir in `find . -name Makefile | xargs grep -l BUILT_SOURCES`; do (cd `dirname "$$dir"`; (cat Makefile; echo 'doc-prereq: $$(BUILT_SOURCES)') | $(MAKE) -f- doc-prereq); done) -# any other target than the default doesn't do the extra stuff above -examples %: +# Any other target than the default doesn't do the extra stuff above. +# Split out "examples" target, recent Makes don't want them combined. +examples: + +(cd $(CURRENT_BUILD) && $(MAKE) $@) +%: +(cd $(CURRENT_BUILD) && $(MAKE) $@) |