fix for "make examples"

diff --git a/Makefile.builds.in b/Makefile.builds.in
index 249a5e380e58c5b9440e50ba1df7a85da25e3677..f97bf56b80438bc1914cf14e39efd534de8b0b21 100644 (file)
--- a/Makefile.builds.in
+++ b/Makefile.builds.in
@@ -81,7 +81,7 @@ am__v_relink_1 = :
 # configuration)
 CVC4_BINARIES = cvc4 pcvc4
 
-.PHONY: _default_build_ all
+.PHONY: _default_build_ all examples
 _default_build_: all
 all:
 #      build the current build profile
@@ -223,5 +223,5 @@ 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 %:
        +(cd $(CURRENT_BUILD) && $(MAKE) $@)