Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86fc1e3) | patch
Revert "Kill unused target."
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 22 Jun 2018 19:35:47 +0000 (21:35 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 22 Jun 2018 19:36:44 +0000 (21:36 +0200)
commit31aa2e604021df7cc297b4419b25cc5c087fd50b
tree0f72448d16c805e548ee6ac49e9901aee6decba7tree | snapshot
parent86fc1e3c11c1ed868c5f3c4175b654a150fcd1a7commit | diff
Revert "Kill unused target."

My mistake, it's in fact used (keyword ALL).

This reverts commit 1b69fabbaddeda90a9065f31ef30fb8f22ad4105.
tools/cmake/Distrib.cmake diff | blob | history
Clone of SimGrid repository with local patches