From dbaaa9f285a2bcb5fd7a555e753968972b998f15 Mon Sep 17 00:00:00 2001
From: ACSYS <cvc4-devel@cs.nyu.edu>
Date: Fri, 26 Oct 2012 18:15:32 +0000
Subject: [PATCH] today's build system fix: sometimes examples weren't built
 with "make examples"; fixed

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 4ddb97a85..5bbd61b4c 100644
--- a/Makefile
+++ b/Makefile
@@ -7,7 +7,7 @@
 #
 builddir = builds
 
-.PHONY: all install
+.PHONY: all install examples install-examples
 all install examples install-examples .DEFAULT:
 	@if test -d $(builddir); then \
 		echo cd $(builddir); \
-- 
2.30.2