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

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