Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3880093) | patch
cmake: accept enable-model-checking as an alias to enable_model-checking
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 1 Sep 2019 00:50:52 +0000 (02:50 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 1 Sep 2019 00:50:55 +0000 (02:50 +0200)
commit68004af7b988892361a5a2b95a83364d432ab887
tree8e059de108cdb52412d4b4ce97e0b4d3a12d5cf3tree | snapshot
parent3880093b08b4663a22f6ea9c35e7dfa7248a5491commit | diff
cmake: accept enable-model-checking as an alias to enable_model-checking

This should be generalized to the many potential typos in the option
name, but I don't feel like scripting in cmake tonight.
tools/cmake/Option.cmake diff | blob | history
Clone of SimGrid repository with local patches