From: Brian Norris <banorris@uci.edu>
Date: Wed, 6 Jun 2012 16:46:44 +0000 (-0700)
Subject: Makefile: have `mrclean' depend on `clean'
X-Git-Tag: pldi2013~391^2~41
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=f2f24fe913030cca5e14b377af732194eb7b8831;p=model-checker.git

Makefile: have `mrclean' depend on `clean'
---

diff --git a/Makefile b/Makefile
index f9dff5e..7e07cc8 100644
--- a/Makefile
+++ b/Makefile
@@ -56,8 +56,7 @@ $(MODEL_O): $(MODEL_CC) $(MODEL_H)
 clean:
 	rm -f $(BIN) *.o *.so
 
-mrclean:
-	rm -f $(BIN) *.o *.so
+mrclean: clean
 	rm -rf docs
 
 tags::