summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rw-r--r--tools/flex/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/flex/Makefile b/tools/flex/Makefile
index d949d4b..90082df 100644
--- a/tools/flex/Makefile
+++ b/tools/flex/Makefile
@@ -18,6 +18,7 @@ HOST_BUILD_PARALLEL:=1
include $(INCLUDE_DIR)/host-build.mk
+HOST_CONFIGURE_ARGS += --disable-shared
HOST_LDFLAGS += $(HOST_STATIC_LINKING)
define Host/Clean