sat #18867 : pour les url des bases git : substitution des references par leur valeur...

[tools/sat.git] / commands / configure.py

diff --git a/commands/configure.py b/commands/configure.py
index 2bf068b83dd97f1d0296d83879431c25c66664ac..876e928f189cc0777c3dd7d2fdc83d7cf80ec1e6 100644 (file)
--- a/commands/configure.py
+++ b/commands/configure.py
@@ -94,7 +94,7 @@ def configure_product(p_name_info, conf_option, config, logger):
 
     # Instantiate the class that manages all the construction commands
     # like cmake, make, make install, make test, environment management, etc...
-    builder = src.compilation.Builder(config, logger, p_info)
+    builder = src.compilation.Builder(config, logger, p_name, p_info)
     
     # Prepare the environment
     log_step(logger, header, "PREPARE ENV")
@@ -190,4 +190,4 @@ def run(args, runner, logger):
           'valid_result': nb_products - res,
           'nb_products': nb_products }, 1)    
     
-    return res 
\ No newline at end of file
+    return res