From e73587cfd08b2bd73987e7f762194079875df93a Mon Sep 17 00:00:00 2001
From: Robin Hallabro-Kokko <44033026+hallabro@users.noreply.github.com>
Date: Sat, 4 May 2019 00:41:39 +0000
Subject: [PATCH] docker_build.sh: Docker requires access to hosts devices
 (#5063)

* docker_build.sh: Docker requires access to hosts devices

This also runs the container interactively which allows the user to
interupt the build with Ctrl-C.

* docker_build.sh: Mount /dev via $usb_args instead
---
 util/docker_build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/docker_build.sh b/util/docker_build.sh
index e7aeac8f3..c573ebcae 100755
--- a/util/docker_build.sh
+++ b/util/docker_build.sh
@@ -35,7 +35,7 @@ else
 fi
 if [ -n "$target" ]; then
 	if [ "$(uname)" = "Linux" ] || docker-machine active >/dev/null 2>&1; then
-		usb_args="--privileged -v /dev/bus/usb:/dev/bus/usb"
+		usb_args="--privileged -v /dev:/dev"
 	else
 		echo "Error: target requires docker-machine to work on your platform" >&2
 		echo "See http://gw.tnode.com/docker/docker-machine-with-usb-support-on-windows-macos" >&2