diff options
-rwxr-xr-x | 3rdParty/Boost/update.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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 |