git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@3172
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
{ echo "$as_me:$LINENO: result: ${T_MD}Optional modules${T_ME}" >&5
echo "${ECHO_T}${T_MD}Optional modules${T_ME}" >&6; }
-# Check whether --enable-use-simix was given.
-if test "${enable_use_simix+set}" = set; then
- enableval=$enable_use_simix; enable_simix=$enableval
+# Check whether --enable-simix was given.
+if test "${enable_simix+set}" = set; then
+ enableval=$enable_simix; enable_simix=$enableval
else
enable_simix=no
fi
## Build optional modules (simix)
##
SG_CONFIGURE_PART(Optional modules)
-AC_ARG_ENABLE(use-simix,
+AC_ARG_ENABLE(simix,
AS_HELP_STRING([--enable-simix], [Use the new SimIX module (default=no)]),
enable_simix=$enableval,enable_simix=no)
if test "x$enable_simix" = "xyes" ; then