sat #8596 : add --properties option to compile, prepare, patch and source commands

[tools/sat.git] / complete_sat.sh

diff --git a/complete_sat.sh b/complete_sat.sh
index 6873137681a4ec83541aa1c2ea496516ec157611..ad1d94bd672634554df907790ebbc0254ac283bc 100755 (executable)
--- a/complete_sat.sh
+++ b/complete_sat.sh
@@ -172,17 +172,17 @@ _salomeTools_complete()
             return 0
             ;;
         source)
-            opts="--products"
+            opts="--products --properties"
             COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
             return 0
             ;;
         patch)
-            opts="--products"
+            opts="--products --properties"
             COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
             return 0
             ;;
         prepare)
-            opts="--products --force --force_patch"
+            opts="--products --properties --force --force_patch"
             COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
             return 0
             ;;
@@ -207,7 +207,7 @@ _salomeTools_complete()
             return 0
             ;;
         compile)
-            opts="--products --with_fathers --with_children --clean_all --clean_make --install_flags --show --stop_first_fail --check --clean_build_after"
+            opts="--products --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
             ;;