# HG changeset patch
# User Volker Grabsch <vog@notjusthosting.com>
# Date 1182531981 -7200
# Node ID 8ccd566b9b282e8e0333901e23ae1a5cca15b53b
# Parent  8af3bebbd94c03b030e22bf7177316d298990857
improved script output via 'set -x'

diff -r 8af3bebbd94c -r 8ccd566b9b28 build_mingw_cross_env.sh
--- a/build_mingw_cross_env.sh	Thu Jun 21 12:54:03 2007 +0200
+++ b/build_mingw_cross_env.sh	Fri Jun 22 19:06:21 2007 +0200
@@ -1,5 +1,5 @@
 #!/bin/bash
-set -e
+set -ex
 
 
 #---