intégration patch Nabil remplacement exclude par filter dans tarfile

[tools/sat.git] / complete_sat.sh

diff --git a/complete_sat.sh b/complete_sat.sh
index 4c65d01eeb57fa587c7d3b2d9333c9268d213499..53dbdb4271ff9cf3f1cbc1a2a358e61a1b2e0570 100755 (executable)
--- a/complete_sat.sh
+++ b/complete_sat.sh
@@ -207,12 +207,12 @@ _salomeTools_complete()
             return 0
             ;;
         compile)
-            opts="--products --properties --with_fathers --with_children --clean_all --clean_make --install_flags --show --stop_first_fail --check --clean_build_after"
+            opts="--products --force --properties --with_fathers --with_children --clean_all --clean_make --install_flags --show --stop_first_fail --check --clean_build_after"
             COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
             return 0
             ;;
         launcher)
-            opts="--name --exe --catalog --gencat --no_path_init"
+            opts="--name --exe --catalog --gencat --no_path_init --use_mesa"
             COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
             return 0
             ;;