From b70bc475dbf6f608cbc06754a7ce99f305fe0923 Mon Sep 17 00:00:00 2001 From: Tobias Markmann Date: Thu, 16 Oct 2014 11:25:11 +0200 Subject: Add missing shebang to Boost update script. Test-Information: Without it would lead to executing failures for users of non-bash shells. Now it works nicely for these users. Change-Id: I63ef0c91d88800b382714692c0a37f6dcb14c283 diff --git a/3rdParty/Boost/update.sh b/3rdParty/Boost/update.sh index 2fe348c..f7cef44 100755 --- a/3rdParty/Boost/update.sh +++ b/3rdParty/Boost/update.sh @@ -1,3 +1,4 @@ +#!/usr/bin/env bash if [ -z "$1" ]; then echo "Please specify the location of the boost source tree" exit -1 -- cgit v0.10.2-6-g49f6