diff options
| author | David MacKenzie <djm@cygnus> | 1994-03-31 12:57:02 +0000 |
|---|---|---|
| committer | David MacKenzie <djm@cygnus> | 1994-03-31 12:57:02 +0000 |
| commit | d2d324f8310ce0c3bc21326f4c988591dbfd29c2 (patch) | |
| tree | e9951d091f2d72dcf708da021e403c204694e74b /configure | |
| parent | 06e6eb0e53edcac2603577d2f8db1ad85f562d95 (diff) | |
| download | gdb-d2d324f8310ce0c3bc21326f4c988591dbfd29c2.zip gdb-d2d324f8310ce0c3bc21326f4c988591dbfd29c2.tar.gz gdb-d2d324f8310ce0c3bc21326f4c988591dbfd29c2.tar.bz2 | |
* configure: Support --silent, --quiet.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 12 |
1 files changed, 8 insertions, 4 deletions
@@ -217,15 +217,19 @@ do --rm) removing=--rm ;; - --site* | --si*) + --silent | --sil* | --quiet | --q*) + redirect=">/dev/null" + verbose=--silent + ;; + --site* | --sit*) site=$optarg site_option="--site=$optarg" ;; --srcdir*/ | --sr*/) # Remove trailing slashes. Otherwise, when the file name gets - # bolted into an object file as debug info, it has two slashes in - # it. Ordinarily this is ok, but emacs takes double slash to - # mean "forget the first part". + # bolted into an object file as debug info, it has two slashes + # in it. Ordinarily this is ok, but emacs takes double slash + # to mean "forget the first part". srcdir=`echo $optarg | sed -e 's:/$::'` ;; --srcdir* | --sr*) |