projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
40212ba
)
Makefile: have `mrclean' depend on `clean'
author
Brian Norris
<banorris@uci.edu>
Wed, 6 Jun 2012 16:46:44 +0000
(09:46 -0700)
committer
Brian Norris
<banorris@uci.edu>
Wed, 6 Jun 2012 16:46:44 +0000
(09:46 -0700)
Makefile
patch
|
blob
|
history
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::