mirror of
https://github.com/flatcar/scripts.git
synced 2025-09-24 07:01:13 +02:00
cros_workon: make --board and --host not exclusive
This fixes a case where you can't specify host if you have a default board set. BUG=6039 TEST=cros_workon start with --host, --board, both Change-Id: Iad0d3f646dde10cc4adc4131e93f75fabe92f392 Review URL: http://codereview.chromium.org/3157044
This commit is contained in:
parent
5208429f8e
commit
45156c46e1
@ -45,9 +45,13 @@ WORKON_CMD=$1
|
|||||||
shift
|
shift
|
||||||
|
|
||||||
|
|
||||||
# board dir config
|
# Board dir config
|
||||||
|
|
||||||
|
# If both 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.
|
||||||
[ -n "${FLAGS_board}" ] && [ "${FLAGS_host}" = ${FLAGS_TRUE} ] && \
|
[ -n "${FLAGS_board}" ] && [ "${FLAGS_host}" = ${FLAGS_TRUE} ] && \
|
||||||
die "Flags --host and --board are mutually exclusive."
|
FLAGS_board="" # kill board
|
||||||
[ -z "${FLAGS_board}" ] && [ "${FLAGS_host}" = ${FLAGS_FALSE} ] && \
|
[ -z "${FLAGS_board}" ] && [ "${FLAGS_host}" = ${FLAGS_FALSE} ] && \
|
||||||
die "You must specify either --host or --board="
|
die "You must specify either --host or --board="
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user