diff options
Diffstat (limited to 'config-ml.in')
| -rw-r--r-- | config-ml.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config-ml.in b/config-ml.in index 2ba21f45ac5..3a159cf31d4 100644 --- a/config-ml.in +++ b/config-ml.in @@ -99,6 +99,7 @@ fi # Scan all the arguments and set all the ones we need. +ml_verbose=--verbose for option in ${ml_arguments} do case $option in @@ -128,6 +129,9 @@ do --norecursion | --no*) ml_norecursion=yes ;; + --silent | --sil* | --quiet | --q*) + ml_verbose=--silent + ;; --verbose | --v | --verb*) ml_verbose=--verbose ;; |