# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1370791093 14400
# Node ID 080a2acf178f1c0c365f63f6016481487bddcb46
# Parent  951da75fd09c6951b851c9076617479ef4ad4427
remove some debugging code accidentally left in build-flex.mk

diff -r 951da75fd09c -r 080a2acf178f src/build-flex.mk
--- a/src/build-flex.mk	Sun Jun 09 09:48:08 2013 -0400
+++ b/src/build-flex.mk	Sun Jun 09 11:18:13 2013 -0400
@@ -16,9 +16,8 @@
 
 define $(PKG)_BUILD
     mkdir '$(1).build'
-    cd    '$(1).build' && /bin/sh -xv '$(1)/configure' \
+    cd    '$(1).build' && '$(1)/configure' \
         --prefix='$(BUILD_TOOLS_PREFIX)'
     $(MAKE) -C '$(1).build' -j '$(JOBS)'
     $(MAKE) -C '$(1).build' -j 1 install
-    exit 1
 endef