From 6ec4691c1b85f01829fcca7d5c5b3c9f1f2a8923 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 30 May 2014 00:11:44 -0400
Subject: [PATCH] Fix personal.mk for some make targets.

---
 configure.ac | 1 +
 1 file changed, 1 insertion(+)

diff --git a/configure.ac b/configure.ac
index bf1e0dd0c..03fbd690c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -854,6 +854,7 @@ if test "$enable_personal_make_rules" = yes; then
   # comes last, so it gets other definitions (in particular top_srcdir).
   zz_cvc4_use_personal_make_rules='yes
 
+all:;
 include $(top_srcdir)/personal.mk
 $(top_srcdir)/personal.mk:; @touch "$@"'
   AC_SUBST([zz_cvc4_use_personal_make_rules])
-- 
2.30.2