Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarek Safar <marek.safar@gmail.com>2012-10-19 14:44:19 +0400
committerMarek Safar <marek.safar@gmail.com>2012-10-19 15:06:22 +0400
commit7c5c56ce872d391d7ffc23d5a200800a48fec0dd (patch)
treeea0ac8067b01e3581194320319132067b9a3074d /acinclude.m4
parent0700e99074f53358e36ca887828c0e0bb3b3577f (diff)
Update (very old) dold to handle --silent argument
Diffstat (limited to 'acinclude.m4')
-rw-r--r--acinclude.m41
1 files changed, 1 insertions, 0 deletions
diff --git a/acinclude.m4 b/acinclude.m4
index 16c7da8151b..161bf7dccf7 100644
--- a/acinclude.m4
+++ b/acinclude.m4
@@ -158,6 +158,7 @@ modeok=false
tagok=false
for arg in "$[]@"; do
case "$arg" in
+ --silent) ;;
--mode=compile) modeok=true ;;
--tag=CC|--tag=CXX) tagok=true ;;
--quiet) ;;