diff options
| -rw-r--r-- | ChangeLog | 3 | ||||
| -rw-r--r-- | config-ml.in | 4 |
2 files changed, 7 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 9f67a401a05..5abe6ca6d26 100644 --- a/ChangeLog +++ b/ChangeLog @@ -115,6 +115,9 @@ Fri Jul 17 13:30:18 1998 Ian Lance Taylor <ian@cygnus.com> * ylwrap: Don't use a full path name if the source file is in the same directory. From hjl@lucon.org (H.J. Lu). + * config-ml.in: Default to being verbose, to match Feb 18 change to + configure. + Tue Jul 14 13:22:18 1998 Ian Lance Taylor <ian@cygnus.com> * ltmain.sh: Add some hacks to make SunOS --enable-shared work 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 ;; |
