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 b499b1e91321f4e292396c487d6493616c28810e..53dbdb4271ff9cf3f1cbc1a2a358e61a1b2e0570 100755 (executable)
--- a/complete_sat.sh
+++ b/complete_sat.sh
@@ -207,7 +207,7 @@ _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
             ;;