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) | |
| download | qmk_firmware-e73587cfd08b2bd73987e7f762194079875df93a.tar.gz qmk_firmware-e73587cfd08b2bd73987e7f762194079875df93a.zip | |
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 e7aeac8f3..c573ebcae 100755 --- a/util/docker_build.sh +++ b/util/docker_build.sh | |||
| @@ -35,7 +35,7 @@ else | |||
| 35 | fi | 35 | fi |
| 36 | if [ -n "$target" ]; then | 36 | if [ -n "$target" ]; then |
| 37 | if [ "$(uname)" = "Linux" ] || docker-machine active >/dev/null 2>&1; then | 37 | if [ "$(uname)" = "Linux" ] || docker-machine active >/dev/null 2>&1; then |
| 38 | usb_args="--privileged -v /dev/bus/usb:/dev/bus/usb" | 38 | usb_args="--privileged -v /dev:/dev" |
| 39 | else | 39 | else |
| 40 | echo "Error: target requires docker-machine to work on your platform" >&2 | 40 | echo "Error: target requires docker-machine to work on your platform" >&2 |
| 41 | echo "See http://gw.tnode.com/docker/docker-machine-with-usb-support-on-windows-macos" >&2 | 41 | echo "See http://gw.tnode.com/docker/docker-machine-with-usb-support-on-windows-macos" >&2 |