diff options
| author | shela <shelaf@users.noreply.github.com> | 2020-01-10 09:44:16 +0900 |
|---|---|---|
| committer | Joel Challis <git@zvecr.com> | 2020-01-10 00:44:16 +0000 |
| commit | 5a02cc00a43cbeb9cc6ad94811acfb861d8f3929 (patch) | |
| tree | 7bdb0d8758e1ae5fd046346907c9f8315b983e55 /util | |
| parent | 886eb98e2ae070019dc8032d93d4c751d3588a67 (diff) | |
Fix docker script and document (#7786)
Fixed error when keyboard parameter is omitted in interactive mode.
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" |