diff options
author | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2015-08-22 17:10:34 +0300 |
---|---|---|
committer | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2015-08-22 17:11:29 +0300 |
commit | 252a9777d3b52968e1c6f0ffdbbe3efb14826eed (patch) | |
tree | 857ff2fe659c375fd9f07a3c189673bd4ceeaeda /scripts | |
parent | 62175afc14f7892c1c0f7efd97236e4f70b63796 (diff) |
Add interpreter path to configure.sh
Fixes #928 properly
Initial author: @PaulGWebster
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/configure.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/configure.sh b/scripts/configure.sh index e4a361759e..277e47da5e 100755 --- a/scripts/configure.sh +++ b/scripts/configure.sh @@ -1,3 +1,5 @@ +#!/usr/bin/env bash + DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" if [ ! -f $DIR/configure.exe ]; then |