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,35 +1,36 @@ +#!/usr/bin/env bash if [ -z "$1" ]; then echo "Please specify the location of the boost source tree" exit -1 fi TARGET_DIR=src if [ ! -d "$TARGET_DIR" ]; then mkdir $TARGET_DIR fi ./bcp --boost="$1" \ tools/bcp \ algorithm/string.hpp \ archive/text_iarchive.hpp \ archive/text_oarchive.hpp \ asio.hpp \ assign/list_of.hpp \ bind.hpp \ cast.hpp \ date_time/posix_time/posix_time.hpp \ date_time/posix_time/time_serialize.hpp \ date_time/local_time/local_time.hpp \ date_time/c_local_time_adjustor.hpp \ date_time/gregorian/gregorian_types.hpp \ foreach.hpp \ filesystem.hpp \ filesystem/fstream.hpp \ format.hpp \ lambda/lambda.hpp \ lambda/bind.hpp \ logic/tribool.hpp \ noncopyable.hpp \ numeric/conversion/cast.hpp \ optional.hpp \ |