diff options
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*) |