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

diff --git a/util/docker_build.sh b/util/docker_build.sh
index e7aeac8f3e5f08aa2c23822e8122e14efe93c1f9..c573ebcae2dcaf237739e7b4adbf6c8c01f3c522 100755 (executable)
--- 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