]> SALOME platform Git repositories - tools/sat.git/commitdiff
Salome HOME
good raise in case of missing compilation script
authorSerge Rehbinder <serge.rehbinder@cea.fr>
Wed, 20 Jul 2016 12:47:37 +0000 (14:47 +0200)
committerSerge Rehbinder <serge.rehbinder@cea.fr>
Wed, 20 Jul 2016 12:47:37 +0000 (14:47 +0200)
src/product.py

index 007e2ce13ed91485cd84822adc9cb7d268914b30..211c0b648933204053f1310600c06a7f1d6ea298 100644 (file)
@@ -205,13 +205,11 @@ def get_product_config(config, product_name):
             script_path = src.find_file_in_lpath(script_name,
                                                  config.PATHS.PRODUCTPATH,
                                                  "compil_scripts")
+            if not script_path:
+                raise src.SatException(_("Compilation script not found: %s") % 
+                                   script_name)
             prod_info.compil_script = script_path
-
-        # Check script existence
-        if not os.path.exists(prod_info.compil_script):
-            raise src.SatException(_("Compilation script not found: %s") % 
-                                   prod_info.compil_script)
-        
+       
         # Check that the script is executable
         if not os.access(prod_info.compil_script, os.X_OK):
             raise src.SatException(