From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 30 May 2014 04:11:44 +0000 (-0400)
Subject: Fix personal.mk for some make targets.
X-Git-Tag: cvc5-1.0.0~6878
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6ec4691c1b85f01829fcca7d5c5b3c9f1f2a8923;p=cvc5.git

Fix personal.mk for some make targets.
---

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])