Chromium Code Reviews| Index: cros_workon |
| diff --git a/cros_workon b/cros_workon |
| index 1a9626b1f661b35ff723042509ff57d8ddc1c09f..128933a84a540d971db8302fe5a5d4d17043592a 100755 |
| --- a/cros_workon |
| +++ b/cros_workon |
| @@ -45,9 +45,13 @@ WORKON_CMD=$1 |
| 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} ] && \ |
| - die "Flags --host and --board are mutually exclusive." |
| + FLAGS_board="" # kill board |
|
Mandeep Singh Baines
2010/08/27 01:47:01
I'm uncomfortable with modifying a shflags paramet
|
| [ -z "${FLAGS_board}" ] && [ "${FLAGS_host}" = ${FLAGS_FALSE} ] && \ |
| die "You must specify either --host or --board=" |