| Index: common.sh
|
| diff --git a/common.sh b/common.sh
|
| index b7d428dab5bcca65bb2f042eb2aa63acea944761..20a473cff889dbed39126e9af9208e941dd2c022 100644
|
| --- a/common.sh
|
| +++ b/common.sh
|
| @@ -113,11 +113,8 @@ 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
|
| +# Enable --fast by default.
|
| 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 ]
|
|
|