# HG changeset patch
# User Volker Grabsch <vog@notjusthosting.com>
# Date 1183278054 -7200
# Node ID 7c2fc627b257377c106fd7f3e5152a159a7da7f5
# Parent  8d54b620096fe5490c9afde6e7ca65c1fe1fd7ad
prevent "set -x" from cluttering up the "Usage: ..." output

diff -r 8d54b620096f -r 7c2fc627b257 build_mingw_cross_env.sh
--- a/build_mingw_cross_env.sh	Sun Jul 01 09:30:15 2007 +0200
+++ b/build_mingw_cross_env.sh	Sun Jul 01 10:20:54 2007 +0200
@@ -120,6 +120,7 @@
     # go ahead
     ;;
 *)
+    set - -x
     echo "Usage: $0 [ --new-versions | --download | --build ]"
     exit 1
     ;;