switch to docker buildx

fixes #4496

Author: vladak

dev/docker.sh

@@ -42,15 +42,15 @@ if [[ -n $OPENGROK_TAG ]]; then
 	TAGS="$VERSION $VERSION_SHORT latest"
 
 	echo "Building docker image for release ($TAGS)"
-	docker build \
+	docker buildx build \
 	    -t $IMAGE:$VERSION \
 	    -t $IMAGE:$VERSION_SHORT \
 	    -t $IMAGE:latest .
 else
 	TAGS="master"
 
 	echo "Building docker image for master"
-	docker build -t $IMAGE:master .
+	docker buildx build -t $IMAGE:master .
 fi
 
 #
@@ -93,4 +93,4 @@ if [ -n "$DOCKER_PASSWORD" -a -n "$DOCKER_USERNAME" -a -n "$TAGS" ]; then
 		echo "Pushing Docker image for tag $tag"
 		docker push $IMAGE:$tag
 	done
-fi
+fi