From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Wed, 14 Oct 2009 09:11:46 +0000 (+0000)
Subject: Kill a 'unused variable' warning when compiling without GTNets
X-Git-Tag: SVN~948
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/fac5f342fce327d587628f94e9dbfa5988c5a2c0?ds=inline

Kill a 'unused variable' warning when compiling without GTNets

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@6766 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---

diff --git a/src/surf/surf_config.c b/src/surf/surf_config.c
index dafbb297b0..7a46acd587 100644
--- a/src/surf/surf_config.c
+++ b/src/surf/surf_config.c
@@ -134,7 +134,6 @@ void surf_config_init(int *argc, char **argv)
     char *description = xbt_malloc(1024), *p = description;
     char *default_value;
 	int default_value_int;
-	int default_value_int_seed;
     int i;
 
     sprintf(description, "The model to use for the CPU. Possible values: ");
@@ -206,10 +205,10 @@ void surf_config_init(int *argc, char **argv)
                      NULL, 1, 1, _surf_cfg_cb__gtnets_jitter, NULL);
     xbt_cfg_set_double(_surf_cfg_set, "gtnets_jitter", 0.0);
 
-    default_value_int_seed = 10;
+    default_value_int = 10;
     xbt_cfg_register(&_surf_cfg_set, "gtnets_jitter_seed",
                      "Use a positive seed to reproduce jitted results, value must be in [1,1e8], default is 10",
-                     xbt_cfgelm_int, &default_value_int_seed, 0, 1, _surf_cfg_cb__gtnets_jitter_seed, NULL);
+                     xbt_cfgelm_int, &default_value_int, 0, 1, _surf_cfg_cb__gtnets_jitter_seed, NULL);
 #endif
 
     if (!surf_path) {