Index: common.sh |
diff --git a/common.sh b/common.sh |
index 291c112f7730652164e5cf65abb51218831df300..a4d91384339d8fc61b450229f2149111eea1c3e1 100644 |
--- a/common.sh |
+++ b/common.sh |
@@ -562,3 +562,23 @@ chroot_hacks_from_outside() { |
sudo bash -c "echo root ALL=\(ALL\) ALL >> \"${chroot_dir}/etc/sudoers\"" |
fi |
} |
+ |
+# The board and variant command line options can be used in a number of ways |
+# to specify the board and variant. The board can encode both pieces of |
+# information separated by underscores. Or the variant can be passed using |
+# the separate variant option. This function extracts the canonical board and |
+# variant information and provides it in the BOARD, VARIANT and BOARD_VARIANT |
+# variables. |
+get_board_and_variant() { |
+ local flags_board="${1}" |
+ local flags_variant="${2}" |
+ |
+ BOARD=$(echo "$flags_board" | cut -d '_' -f 1) |
+ VARIANT=${flags_variant:-$(echo "$flags_board" | cut -s -d '_' -f 2)} |
+ |
+ if [ -n "$VARIANT" ]; then |
+ BOARD_VARIANT="${BOARD}_${VARIANT}" |
+ else |
+ BOARD_VARIANT="${BOARD}" |
+ fi |
+} |