diff options
Diffstat (limited to 'util')
| -rwxr-xr-x | util/docker_build.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/util/docker_build.sh b/util/docker_build.sh index d8c4c759a..bf13f5097 100755 --- a/util/docker_build.sh +++ b/util/docker_build.sh | |||
| @@ -37,6 +37,9 @@ else | |||
| 37 | exit 1 | 37 | exit 1 |
| 38 | fi | 38 | fi |
| 39 | fi | 39 | fi |
| 40 | if [ -z "$keyboard" ]; then | ||
| 41 | keyboard=all | ||
| 42 | fi | ||
| 40 | if [ -n "$target" ]; then | 43 | if [ -n "$target" ]; then |
| 41 | if [ "$(uname)" = "Linux" ] || docker-machine active >/dev/null 2>&1; then | 44 | if [ "$(uname)" = "Linux" ] || docker-machine active >/dev/null 2>&1; then |
| 42 | usb_args="--privileged -v /dev:/dev" | 45 | usb_args="--privileged -v /dev:/dev" |
