summaryrefslogtreecommitdiff
path: root/config-ml.in
diff options
context:
space:
mode:
authorIan Lance Taylor <ian@cygnus.com>1998-10-08 23:34:45 +0000
committerJeff Law <law@gcc.gnu.org>1998-10-08 17:34:45 -0600
commit6755ff731436a5a6a032e914ccb7fb4bc7b91b0f (patch)
tree69de052eef911a8575a0861d10f4b422f79c9003 /config-ml.in
parentfbd836fca07f327a8a9a96d6a07fce77a1266d9f (diff)
downloadgcc-6755ff731436a5a6a032e914ccb7fb4bc7b91b0f.tar.gz
config-ml.in: Default to being verbose, to match Feb 18 change to configure.
* config-ml.in: Default to being verbose, to match Feb 18 change to configure. From-SVN: r22948
Diffstat (limited to 'config-ml.in')
-rw-r--r--config-ml.in4
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
;;