small patch to allow to choose the complementary property

[tools/sat.git] / complete_sat.sh

diff --git a/complete_sat.sh b/complete_sat.sh
index 7470b1bbc7763b398767fea08c134409dd4a3b7f..d8e623bb2551cdc79ac73549a93ac4c9c1fdfb50 100755 (executable)
--- a/complete_sat.sh
+++ b/complete_sat.sh
@@ -212,7 +212,7 @@ _salomeTools_complete()
             return 0
             ;;
         launcher)
-            opts="--name --exe --catalog --gencat --no_path_init --use_mesa"
+            opts="--products --name --exe --catalog --gencat --no_path_init --use_mesa"
             COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
             return 0
             ;;