projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04f478b) | patch
Makefile: add PHONY targets
authorBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 23:03:23 +0000 (16:03 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 23:03:23 +0000 (16:03 -0700)
commit57d7975634e97da2d32f95054dccf40ca871e558
treebd2b2c51642972822a8d6bb3a6f16706691a7d58tree | snapshot
parent04f478b27a93b7838f58a8480b9e3e22d41688f8commit | diff
Makefile: add PHONY targets

Just in case there ever are files named clean, mrclean, etc.
Makefile diff | blob | history
C++11 memory model checker