projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0eb5c77) | patch
Makefile: fix dependency generation
authorBrian Norris <banorris@uci.edu>
Wed, 21 Nov 2012 02:27:20 +0000 (18:27 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 30 Nov 2012 22:03:06 +0000 (14:03 -0800)
commitdacd717b37c9043818e9dbd512a8e77e5ec736a1
tree3c0b58e02a3bd6ee6e9a86e9c08f3a775a939ebbtree | snapshot
parent0eb5c77446d252acfc48ca98e077e3396e502a9dcommit | diff
Makefile: fix dependency generation

- Don't regenerate make.deps for 'make clean' target
- Place the dependency on make.deps at the correct level; all "%.o"
  generations depend on it, not the top-level 'all' target
Makefile diff | blob | history
C++11 memory model checker