merge the optimization branch

[tools/sat.git] / complete_sat.sh

diff --git a/complete_sat.sh b/complete_sat.sh
index 7be2d07c22b6d08764ea00c8d18d776f390e7d2a..4ac92f90bad6d57e4a5938296b856c24aa66f279 100755 (executable)
--- a/complete_sat.sh
+++ b/complete_sat.sh
@@ -204,7 +204,7 @@ _salomeTools_complete()
             return 0
             ;;
         compile)
-            opts="--products --with_fathers --with_children --clean_all --make_flags --show --stop_first_fail --check"
+            opts="--products --with_fathers --with_children --clean_all --make_flags --show --stop_first_fail --check --clean_build_after"
             COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
             return 0
             ;;