diff options
-rwxr-xr-x | 3rdParty/Boost/update.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/3rdParty/Boost/update.sh b/3rdParty/Boost/update.sh index 59c61bd..81ac4e3 100755 --- a/3rdParty/Boost/update.sh +++ b/3rdParty/Boost/update.sh @@ -39,4 +39,6 @@ for lib in $LIBS; do done rm -rf $TARGET_DIR/tools/bcp/*.html $TARGET_DIR/libs/test $TARGET_DIR/doc $TARGET_DIR/boost.png $TARGET_DIR/boost/test $TARGET_DIR/tools/bcp/Jamfile.v2 $TARGET_DIR/tools/bcp/doc $TARGET_DIR/tools/bcp/test $TARGET_DIR/Jamroot -patch -p3 < *.diff +for diff in *.diff; do + patch -p3 < $diff +done |