diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2021-02-11 11:34:55 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2021-02-12 10:52:24 +0000 |
| commit | 007cf382f887b11239aff88ed469ffbdd10bd701 (patch) | |
| tree | bb622dfa5c6d8d565e879340244b67ba228dc53e /util | |
| parent | 218038428e52e907e4f032b25a1c0493e4d09879 (diff) | |
Revert "abuild: Allow disabling mainboards"
This reverts commit 3ac3c4ebac8 ("abuild: Allow disabling mainboards").
This mechanism helped getting Chrome OS' coreboot divergence sorted
out in the 2015/2016 timeframe but hasn't been used by anybody since
then. Let's not encourage people to push non-working builds without
good reason and discussion (the result of which could be that we
re-introduce this mechanism).
Change-Id: I8e2f2e1a5d4617baa49cbcb1a640a1ea270007ef
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/50518
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'util')
| -rwxr-xr-x | util/abuild/abuild | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/util/abuild/abuild b/util/abuild/abuild index 0b7b05c551..dc3670b927 100755 --- a/util/abuild/abuild +++ b/util/abuild/abuild @@ -430,12 +430,6 @@ function build_config return fi - if [ -f "src/mainboard/${board_srcdir}/abuild.disabled" ]; then - echo "${BUILD_NAME} disabled:" - cat "src/mainboard/${board_srcdir}/abuild.disabled" - return - fi - if [ "$quiet" == "false" ]; then echo "Building $BUILD_NAME"; fi mkdir -p "$TARGET/${BUILD_NAME}" "$TARGET/abuild" ABSPATH="$(cd "$TARGET/abuild" && pwd)" |