Index: common.sh |
diff --git a/common.sh b/common.sh |
index a6957fad77524a90cb80594d6f5180895fbe674b..5258c1a6f854ddb00d2ffe5ebc0a60154cf61da8 100644 |
--- a/common.sh |
+++ b/common.sh |
@@ -105,6 +105,12 @@ ALL_BOARDS=$(echo $ALL_BOARDS) |
#DEFAULT_BOARD=x86-generic # or... |
DEFAULT_BOARD=$(echo $ALL_BOARDS | awk '{print $NF}') |
+# Enable --fast by default on non-official builds |
+DEFAULT_FAST="${FLAGS_TRUE}" |
+if [ "${CHROMEOS_OFFICIAL:-0}" = "1" ]; then |
+ DEFAULT_FAST="${FLAGS_FALSE}" |
+fi |
+ |
# Detect whether we're inside a chroot or not |
if [ -e /etc/debian_chroot ] |
then |