summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLuca Barbato <lu_zero@gentoo.org>2012-06-21 16:10:23 +0200
committerLuca Barbato <lu_zero@gentoo.org>2012-06-21 16:10:23 +0200
commitd2780768716dbf199b8ac77b9b7e4cc0ec0fe6d3 (patch)
treeca66cb1422107329938040b94a7cfd4c57b07d8e
parentb6a7ccd13501ee2099c9819af4b36587f21ca1e0 (diff)
doltlibtool: support silent rules
Do not pass --silent/--quiet to doltcompile
-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