ajout de l'option -v sur le ligne de command de runMAP pour avoir un retour explicite...

diff --git a/generator/generator_map.py b/generator/generator_map.py
index 03c59ce47cb96467cd525e17f61b637acb6d22d9..86ed2515fe4792afa5aaf76958efa7c6a012ee57 100644 (file)
--- a/generator/generator_map.py
+++ b/generator/generator_map.py
@@ -101,7 +101,7 @@ class MapGenerator(PythonGenerator):
              self.texteExecution += texteCode
       self.temp_parameter_file = os.tempnam(None, "map_" + code + "_")
       self.texteExecution = os.path.join(os.getenv("MAP_DIRECTORY"), "runMAP")
-      self.texteExecution += " " + self.temp_parameter_file
+      self.texteExecution += " " + self.temp_parameter_file + " -v"
       f_id = open(self.temp_parameter_file, "w")
       f_id.write(string)
       f_id.close()