diff options
| author | Yehonal <yehonal.azeroth@gmail.com> | 2016-08-26 16:23:25 +0200 |
|---|---|---|
| committer | Yehonal <yehonal.azeroth@gmail.com> | 2016-08-26 16:23:25 +0200 |
| commit | 41f64fb28791ae9b099a4b63662bd5feda5bb530 (patch) | |
| tree | 632e663b477565fc36d9c61838f8edfede8bc398 /bin/compiler/2-configure.sh | |
| parent | 1f16a068e99ae9841666e4d58e6efa405d4090c1 (diff) | |
Crossplatform header for bash files
Diffstat (limited to 'bin/compiler/2-configure.sh')
| -rwxr-xr-x | bin/compiler/2-configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/compiler/2-configure.sh b/bin/compiler/2-configure.sh index 9c610576c0..0d59b1caac 100755 --- a/bin/compiler/2-configure.sh +++ b/bin/compiler/2-configure.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash CURRENT_PATH="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" |