summaryrefslogtreecommitdiff
path: root/dolt.m4
diff options
context:
space:
mode:
Diffstat (limited to 'dolt.m4')
-rw-r--r--dolt.m41
1 files changed, 1 insertions, 0 deletions
diff --git a/dolt.m4 b/dolt.m4
index 748633c..d942af0 100644
--- a/dolt.m4
+++ b/dolt.m4
@@ -157,6 +157,7 @@ for arg in "$[]@"; do
case "$arg" in
--mode=compile) modeok=true ;;
--tag=CC|--tag=CXX) tagok=true ;;
+ --silent|--quiet) ;;
*) args@<:@${#args[@]}@:>@="$arg" ;;
esac
done