Add the --properties option to the command clean

[tools/sat.git] / complete_sat.sh

diff --git a/complete_sat.sh b/complete_sat.sh
index c17a4cb5c279c3725fb0fbc1207d7b58c0d9484c..8f378952007fe0654956be1d34bc5b006c6d6419 100755 (executable)
--- a/complete_sat.sh
+++ b/complete_sat.sh
@@ -164,7 +164,7 @@ _salomeTools_complete()
             return 0
             ;;
         clean)
-            opts="--products --sources --build --install --all --sources_without_dev"
+            opts="--products --sources --build --install --all --sources_without_dev --properties"
             COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
             return 0
             ;;