projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: dacd717)
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)
- 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


No differences found
C++11 memory model checker