]> SALOME platform Git repositories - tools/sat.git/commitdiff
Salome HOME
print the install dir for already installed products dev_logs
authorcrouzet <nicolas.crouzet@cea.fr>
Fri, 1 Dec 2017 07:48:13 +0000 (08:48 +0100)
committercrouzet <nicolas.crouzet@cea.fr>
Fri, 1 Dec 2017 07:48:13 +0000 (08:48 +0100)
commands/compile.py

index 5f15b83f19144fc9ea58f79e3639f3a3e53ac368..13efc26871eb1a63735f659dfdb0417dde81afeb 100644 (file)
@@ -338,7 +338,7 @@ def compile_all_products(sat, config, options, products_infos, logger):
         
         # Check if it was already successfully installed
         if src.product.check_installation(p_info):
-            logger.write(_("Already installed\n"))
+            logger.write(_("Already installed in %s\n" % p_info.install_dir))
             continue
         
         # If the show option was called, do not launch the compilation