summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dolt.m41
1 files changed, 1 insertions, 0 deletions
diff --git a/dolt.m4 b/dolt.m4
index b5603b3..775a572 100644
--- a/dolt.m4
+++ b/dolt.m4
@@ -155,6 +155,7 @@ for arg in "$[]@"; do
case "$arg" in
--mode=compile) modeok=true ;;
--tag=CC|--tag=CXX) tagok=true ;;
+ --tag=disable-static) tagok=true ;;
--tag=ASM|--tag=YASM) tagok=true; passthrough=true;;
--silent|--quiet) ;;
*) args@<:@${#args[@]}@:>@="$arg" ;;