diff options
| -rwxr-xr-x | autosetup/autosetup | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/autosetup/autosetup b/autosetup/autosetup index 84886c2..0d21e2e 100755 --- a/autosetup/autosetup +++ b/autosetup/autosetup @@ -91,6 +91,7 @@ proc main {argv} { # Undocumented options option-checking=1 nopager + silent-rules quiet timing conf: |