Update

[simgrid.git] / examples / gras / ping / Makefile.in

diff --git a/examples/gras/ping/Makefile.in b/examples/gras/ping/Makefile.in
index f8cdbd11e5dd03616ebfe7bc01693b6399203e4f..f1815d9fcd52e554096884ed3e6c5e5471dbc14c 100644 (file)
--- a/examples/gras/ping/Makefile.in
+++ b/examples/gras/ping/Makefile.in
@@ -172,6 +172,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@