diff options
Diffstat (limited to '3rdParty/Boost/update.sh')
-rwxr-xr-x | 3rdParty/Boost/update.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/3rdParty/Boost/update.sh b/3rdParty/Boost/update.sh index 6344d72..80b515b 100755 --- a/3rdParty/Boost/update.sh +++ b/3rdParty/Boost/update.sh @@ -35,6 +35,8 @@ fi boost/algorithm/string.hpp \ boost/format.hpp \ assign/list_of.hpp \ + property_tree/ptree.hpp \ + property_tree/xml_parser.hpp \ $TARGET_DIR rm -rf $TARGET_DIR/libs/config |