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

diff --git a/build_images.sh b/build_images.sh
index bbaaf00..281b166 100755
--- a/build_images.sh
+++ b/build_images.sh
@@ -54,8 +54,14 @@ source $scriptdir/lib.sh
 
 _initialize_work_dirs
 
-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
+dib_file="${scriptdir}/docker-context/Dockerfile-dib"
+dib_patch="${dib_file}.$(uname -m).patch"
+if [ -e "${dib_patch}" ] && ! patch -R --dry-run "${dib_file}" "${dib_patch}"; then
+    patch "${dib_file}" "${dib_patch}"
+fi
+
+docker build --network=host -f $scriptdir/docker-context/Dockerfile-dib -t dib $scriptdir/docker-context
+docker build --network=host -f $scriptdir/docker-context/Dockerfile-buildtools -t buildtools $scriptdir/docker-context
 
 # Create manifest RPM
 $LIBDIR/create_manifest_rpm.sh