summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
e764391)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@8613
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
SET(BUILDNAME "GTNETS" CACHE TYPE INTERNAL FORCE)
endif(HAVE_GTNETS)
SET(BUILDNAME "GTNETS" CACHE TYPE INTERNAL FORCE)
endif(HAVE_GTNETS)
-if(HAVE_TRACING)
- SET(BUILDNAME "TRACING" CACHE TYPE INTERNAL FORCE)
-endif(HAVE_TRACING)
-
if(HAVE_MC)
SET(BUILDNAME "MODEL-CHECKING" CACHE TYPE INTERNAL FORCE)
endif(HAVE_MC)
if(HAVE_MC)
SET(BUILDNAME "MODEL-CHECKING" CACHE TYPE INTERNAL FORCE)
endif(HAVE_MC)