diff options
Diffstat (limited to '3rdParty/Boost/update.sh')
-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 28871fe..45dfd44 100755 --- a/3rdParty/Boost/update.sh +++ b/3rdParty/Boost/update.sh @@ -43,6 +43,7 @@ fi uuid/uuid_generators.hpp \ variant.hpp \ $TARGET_DIR +cp $1/LICENSE_1_0.txt $TARGET_DIR rm -rf $TARGET_DIR/libs/config rm -rf $TARGET_DIR/libs/smart_ptr |