bug : evite l'insertion multiple des produits optionnels dans le champ depend

diff --git a/src/product.py b/src/product.py
index 290d382b252ae9bbf538e686870bceae9f2b7a14..0413d212a415c5570e61f633b3409a0dd1f1b4b7 100644 (file)
--- a/src/product.py
+++ b/src/product.py
@@ -178,7 +178,7 @@ def get_product_config(config, product_name, with_install_dir=True):
         # merge opt_depend in depend
         if prod_info is not None and 'opt_depend' in prod_info:
             for depend in prod_info.opt_depend:
-                if depend in config.APPLICATION.products:
+                if (depend in config.APPLICATION.products) and (depend not in prod_info.depend) :
                     prod_info.depend.append(depend,'')