Fix personal.mk for some make targets.

diff --git a/configure.ac b/configure.ac
index bf1e0dd0cc3bed33de1cbf144c345c46a69c0a06..03fbd690c77b9e7419f9b194d29bad5f575c89ab 100644 (file)
--- 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])