Makefile: have `mrclean' depend on `clean'

[model-checker.git] / Makefile

diff --git a/Makefile b/Makefile
index f9dff5ef04590505d26d50926f876a1097d9c667..7e07cc8f3f91f045832cd47155f14185d64e62a1 100644 (file)
--- 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::