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