diff options
| author | Robin Hallabro-Kokko <44033026+hallabro@users.noreply.github.com> | 2019-05-04 00:41:39 +0000 |
|---|---|---|
| committer | Drashna Jaelre <drashna@live.com> | 2019-05-03 17:41:39 -0700 |
| commit | e73587cfd08b2bd73987e7f762194079875df93a (patch) | |
| tree | bad6a942cfd5919bb6a42989530558c3877c1f0d | |
| parent | 997bafc8ec4ff793d7ded0b9dc3b2fc3d13b81b5 (diff) | |
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
| -rwxr-xr-x | util/docker_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/docker_build.sh b/util/docker_build.sh index e7aeac8f3e..c573ebcae2 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 |