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=" |