From f2f24fe913030cca5e14b377af732194eb7b8831 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Wed, 6 Jun 2012 09:46:44 -0700
Subject: [PATCH] Makefile: have `mrclean' depend on `clean'

---
 Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index f9dff5ef..7e07cc8f 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::
-- 
2.34.1