# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1370732432 14400
# Node ID 2849bea3711f87ed17a96436df8e025b42a35009
# Parent  d024ce7bdaf0a00049e5d6651d665fae5a307616
disable building flex for native mingw

diff -r d024ce7bdaf0 -r 2849bea3711f Makefile
--- a/Makefile	Sat Jun 08 18:52:03 2013 -0400
+++ b/Makefile	Sat Jun 08 19:00:32 2013 -0400
@@ -103,6 +103,10 @@
 LIBTOOL     := libtool
 LIBTOOLIZE  := libtoolize
 BUILD_TOOLS := $(patsubst src/%.mk, %, $(wildcard src/build-*.mk))
+# Building flex for native mingw fails, so disable it.
+ifeq ($(MXE_NATIVE_MINGW_BUILD),yes)
+  BUILD_TOOLS := $(filter-out build-flex, $(BUILD_TOOLS))
+endif
 
 STAMP_DIR  := $(PWD)/installed-packages
 MSYS_INFO_DIR := $(PWD)/msys-info
diff -r d024ce7bdaf0 -r 2849bea3711f src/build-flex.mk
--- a/src/build-flex.mk	Sat Jun 08 18:52:03 2013 -0400
+++ b/src/build-flex.mk	Sat Jun 08 19:00:32 2013 -0400
@@ -16,8 +16,9 @@
 
 define $(PKG)_BUILD
     mkdir '$(1).build'
-    cd    '$(1).build' && '$(1)/configure' \
+    cd    '$(1).build' && /bin/sh -xv '$(1)/configure' \
         --prefix='$(BUILD_TOOLS_PREFIX)'
     $(MAKE) -C '$(1).build' -j '$(JOBS)'
     $(MAKE) -C '$(1).build' -j 1 install
+    exit 1
 endef