projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 643a515) | patch
Revert "Makefile: don't always rebuild make.deps"
authorBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 21:56:16 +0000 (14:56 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 21:57:21 +0000 (14:57 -0700)
commit0f0bd83aa330ef6461acb1b0758615e1e15a9322
tree7533d742215eb736203c55b0e34298e5d4af6733tree | snapshot
parent643a5154fb1e90725c6d102d83f47eb311f353bccommit | diff
Revert "Makefile: don't always rebuild make.deps"

The Makefile wasn't using its dependency generation correctly. Revert this for
now.

This reverts commit 870ba814eceb1afee4eefb17dab3980549ca73e2.
Makefile diff | blob | history
C++11 memory model checker