diff options
| -rw-r--r-- | m4/dolt.m4 | 1 |
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" ;; |