projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0aabd3) | patch
tests: Makefile: add dependency information
authorBrian Norris <banorris@uci.edu>
Wed, 29 May 2013 00:59:58 +0000 (17:59 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 29 May 2013 01:00:56 +0000 (18:00 -0700)
commit93221839adb57ec10dd80f42be3963732cd2e236
tree057499e6488e3057735af77592449f57b3bdd4detree | snapshot
parenta0aabd321ed9a43bd0ff4be0d9a7751138c01004commit | diff
tests: Makefile: add dependency information

Now tests will be re-compiled whenever their include files are modified.
test/Makefile diff | blob | history
C++11 memory model checker