From: Brian Norris <banorris@uci.edu>
Date: Thu, 13 Sep 2012 21:56:16 +0000 (-0700)
Subject: Revert "Makefile: don't always rebuild make.deps"
X-Git-Tag: pldi2013~199
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=0f0bd83aa330ef6461acb1b0758615e1e15a9322

Revert "Makefile: don't always rebuild make.deps"

The Makefile wasn't using its dependency generation correctly. Revert this for
now.

This reverts commit 870ba814eceb1afee4eefb17dab3980549ca73e2.
---

diff --git a/Makefile b/Makefile
index f6a0837..a0608b5 100644
--- a/Makefile
+++ b/Makefile
@@ -27,10 +27,7 @@ all: $(LIB_SO) $(DEPS) tests
 $(DEPS): $(program_C_SRCS) $(program_H_SRCS)
 	$(CXX) -MM $(program_C_SRCS) $(CPPFLAGS) > $(DEPS)
 
-# Only include, rebuild make.deps when it's going to be used
-ifeq ($(MAKECMDGOALS),$(DEPS))
 include $(DEPS)
-endif
 
 debug: CPPFLAGS += -DCONFIG_DEBUG
 debug: all