Update

[simgrid.git] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
index 594f717..f1839a3 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -165,6 +165,8 @@ SET_MAKE = @SET_MAKE@
 SHELL = @SHELL@
 SIMGRID_DEP = @SIMGRID_DEP@
 STRIP = @STRIP@
+USE_SIMIX_FALSE = @USE_SIMIX_FALSE@
+USE_SIMIX_TRUE = @USE_SIMIX_TRUE@
 VERSION = @VERSION@
 WARNING = @WARNING@
 abs_builddir = @abs_builddir@