changeset 62:de47656ba778

portability fix: use #!/bin/bash instead of #!/bin/sh
author Volker Grabsch <vog@notjusthosting.com>
date Wed, 04 Jul 2007 14:12:31 +0000
parents 220985c5e013
children 352d63d6a752
files build_mingw_cross_env.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/build_mingw_cross_env.sh	Wed Jul 04 14:11:56 2007 +0000
+++ b/build_mingw_cross_env.sh	Wed Jul 04 14:12:31 2007 +0000
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -ex