Pour designer les scripts de compilation sur WIndows à partir du nom Linux.

diff --git a/src/product.py b/src/product.py
index c1cf33bb2ad5bde5178183db238f7ee66a609a5c..9c6729dd4d253bffdd582182c57656849b9d9c9a 100644 (file)
--- a/src/product.py
+++ b/src/product.py
@@ -201,6 +201,8 @@ def get_product_config(config, product_name, with_install_dir=True):
                 raise src.SatException(_("Compilation script not found: %s") % 
                                    script_name)
             prod_info.compil_script = script_path
+            if src.architecture.is_windows():
+                prod_info.compil_script = prod_info.compil_script[:-len(".sh")] + ".bat"
        
         # Check that the script is executable
         if not os.access(prod_info.compil_script, os.X_OK):