projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d5bf75) | patch
Makefile: don't always rebuild make.deps
authorBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 18:35:48 +0000 (11:35 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 18:35:48 +0000 (11:35 -0700)
commit870ba814eceb1afee4eefb17dab3980549ca73e2
tree03a29b6fadb5b433627f7a2fc496e028ac37193atree | snapshot
parent1d5bf75a20115d8c73b44825f09aab705afce301commit | diff
Makefile: don't always rebuild make.deps

The dependencies don't need to be regenerated for "make tags", "make docs",
etc.
Makefile diff | blob | history
C++11 memory model checker