Convert GRAS pid from long int to int; setup a virtualization layer in XBT to choose...

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

diff --git a/examples/gras/Makefile.in b/examples/gras/Makefile.in
index 31a1f95c014ab42ed3a22764e2b78742ddc5275b..191ded50d1e0627a75e25e3d7fc23377924461d7 100644 (file)
--- a/examples/gras/Makefile.in
+++ b/examples/gras/Makefile.in
@@ -152,8 +152,6 @@ SIMGRID_DEP = @SIMGRID_DEP@
 STRIP = @STRIP@
 USE_GTNETS_FALSE = @USE_GTNETS_FALSE@
 USE_GTNETS_TRUE = @USE_GTNETS_TRUE@
-USE_SIMIX_FALSE = @USE_SIMIX_FALSE@
-USE_SIMIX_TRUE = @USE_SIMIX_TRUE@
 VERSION = @VERSION@
 WARNING = @WARNING@
 abs_builddir = @abs_builddir@