Use docker buildkit for parallel builds

diff --git a/docker/build-docker.sh b/docker/build-docker.sh
index 24112e91644e8db9441a105736d31965d7a84894..ebfc503f8a8db9840f244d9a57eb8db8b40bab73 100755 (executable)
--- a/docker/build-docker.sh
+++ b/docker/build-docker.sh
@@ -2,5 +2,7 @@
 # use this script to build the image locally
 set -e
 
+export DOCKER_BUILDKIT=${DOCKER_BUILDKIT:-1}
+
 image=registry.gitlab.com/pld-linux/cleanbuild
 docker build --pull -t $image .