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 d8c4c759a3..bf13f50975 100755 --- a/util/docker_build.sh +++ b/util/docker_build.sh @@ -37,6 +37,9 @@ else exit 1 fi fi +if [ -z "$keyboard" ]; then + keyboard=all +fi if [ -n "$target" ]; then if [ "$(uname)" = "Linux" ] || docker-machine active >/dev/null 2>&1; then usb_args="--privileged -v /dev:/dev" |