X-Git-Url: https://gerrit.akraino.org/r/gitweb?p=ta%2Fbuild-tools.git;a=blobdiff_plain;f=build_images.sh;fp=build_images.sh;h=0d7968b04dda27861789459fbad40f7c719ecd54;hp=bbaaf00a03a0b9fccd49cc1168c943511b65689f;hb=eb6df414a1b5d1b7b67d3dd5f9b7d0529b8cf5fc;hpb=075a6c6d1b58d6fd81a3c65df61569ec10a59684

diff --git a/build_images.sh b/build_images.sh
index bbaaf00..0d7968b 100755
--- a/build_images.sh
+++ b/build_images.sh
@@ -54,6 +54,9 @@ source $scriptdir/lib.sh
 
 _initialize_work_dirs
 
+dib_patch="$scriptdir/docker-context/Dockerfile-dib.$(uname -m).patch"
+if [ -e "${dib_patch}" ]; then patch "$scriptdir/docker-context/Dockerfile-dib" "${dib_patch}"; fi
+
 docker build -f $scriptdir/docker-context/Dockerfile-dib -t dib $scriptdir/docker-context
 docker build -f $scriptdir/docker-context/Dockerfile-buildtools -t buildtools $scriptdir/docker-context