diff --git a/flatcar_workon b/flatcar_workon index 857cb64e19..19bbee4eb0 100755 --- a/flatcar_workon +++ b/flatcar_workon @@ -22,7 +22,7 @@ set -euo pipefail # If both board and host are specified, just use host, because board # does not have to be specified and may come from default, in which # case there's no way to override. -if [[ -n ${FLAGS_board} ]] && [[ ${FLAGS_host} = "${FLAGS_TRUE}" ]]; then +if [[ -n ${FLAGS_board} && ${FLAGS_host} = "${FLAGS_TRUE}" ]]; then unset FLAGS_board # kill board fi