aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--m4/dolt.m41
1 files changed, 1 insertions, 0 deletions
diff --git a/m4/dolt.m4 b/m4/dolt.m4
index 8f94582fb..1109bdb0c 100644
--- a/m4/dolt.m4
+++ b/m4/dolt.m4
@@ -155,6 +155,7 @@ modeok=false
tagok=false
for arg in "$[]@"; do
case "$arg" in
+ --silent) ;;
--mode=compile) modeok=true ;;
--tag=CC|--tag=CXX) tagok=true ;;
*) args@<:@${#args[@]}@:>@="$arg" ;;