add the --check option to the compile command in order to launch the tests after...

[tools/sat.git] / complete_sat.sh

diff --git a/complete_sat.sh b/complete_sat.sh
index 27b3f8af85c438d0b4fec764d0bef6ff34b328b1..bd05037943cd45db90a7cadc31156265b59dd596 100755 (executable)
--- a/complete_sat.sh
+++ b/complete_sat.sh
@@ -154,7 +154,7 @@ _salomeTools_complete()
     # show argument for each command
     case "${command}" in
         config)
-            opts="--value --list --copy --edit --no_label --info"
+            opts="--value --list --copy --edit --no_label --info --show_patchs"
             COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
             return 0        
             ;;
@@ -204,7 +204,7 @@ _salomeTools_complete()
             return 0
             ;;
         compile)
-            opts="--products --with_fathers --with_children --clean_all --make_flags --show --stop_first_fail"
+            opts="--products --with_fathers --with_children --clean_all --make_flags --show --stop_first_fail --check"
             COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
             return 0
             ;;