Merge commit '56284506fccdd38b3d45b1656809db8036d3ced0' into feature/update-dependencies

This commit is contained in:
Sergey Abramchuk
2018-05-03 11:46:13 +03:00
26 changed files with 1162 additions and 412 deletions
@@ -28,3 +28,20 @@ function download()
check_download || return -1
}
function apply_patches()
{
DEP_NAME=$1
# change directory since git apply got confused when
# applying patches to files which are not found in index
DIR=$(pwd)
pushd ${DIR}
cd /tmp
# apply pre-generated patches
for file in $O3/core/deps/${DEP_NAME}/patches/*.patch; do
echo Applying patch: $file
git apply --directory ${DIR} --unsafe-path $file
done
popd
}