projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0174d94) | patch
Makefile: don't build userprog.c from top level
authorBrian Norris <banorris@uci.edu>
Thu, 2 Aug 2012 23:25:44 +0000 (16:25 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 2 Aug 2012 23:39:24 +0000 (16:39 -0700)
commitee840c902aec5c8becf8051eca7fe2b82b8ddc5b
tree4d6990bc581f46e473650166620469708ef1ac4etree | snapshot
parent0174d94668ca990b0d8258b1ed5b2611874cffe9commit | diff
Makefile: don't build userprog.c from top level

(Temporarily disables userprog compilation; will restore soon)
Makefile diff | blob | history
C++11 memory model checker