summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLucas De Marchi <lucas.demarchi@intel.com>2015-03-05 13:51:28 -0300
committerLucas De Marchi <lucas.demarchi@intel.com>2015-03-06 12:45:56 -0300
commit2eae53fa6d31175e9de62a312cc2191fd8a25cb7 (patch)
tree2401e96f82c34b936815817e1bc9a58787b32949
parentb66e577e5cee6d6367b0f6f7d7959b247ab26ab1 (diff)
Add --tag=disable-static as valid arg to doltcompileHEADmaster
This tag is given in LIBTOOLFLAGS while compiling plugins.
-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" ;;