Patrick Georgi (pgeorgi@google.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/10917
-gerrit
commit d9c9b0ff16898160ae59a64b539a8b32af059da9 Author: Patrick Georgi pgeorgi@chromium.org Date: Tue Jul 14 20:20:13 2015 +0200
abuild: Allow disabling mainboards
There may be boards that shouldn't be built for one reason or another. Allow black-listing them by adding a file to the mainboard directory called 'abuild.disabled'. It should contain the reason that is printed by abuild and also serves as documentation for users that want to know what's going on.
Change-Id: I78c3281a578e96ee40f6b101143d4f3763582350 Signed-off-by: Patrick Georgi pgeorgi@chromium.org --- util/abuild/abuild | 6 ++++++ 1 file changed, 6 insertions(+)
diff --git a/util/abuild/abuild b/util/abuild/abuild index 85805d7..ddf916a 100755 --- a/util/abuild/abuild +++ b/util/abuild/abuild @@ -280,6 +280,12 @@ function build_target
HOSTCC='gcc'
+ if [ -f src/mainboard/${VENDOR}/${MAINBOARD}/abuild.disabled ]; then + echo "${VENDOR}/${MAINBOARD} disabled:" + cat src/mainboard/${VENDOR}/${MAINBOARD}/abuild.disabled + return + fi + if [ "$quiet" == "false" ]; then printf "Building $VENDOR/$MAINBOARD\n"; fi mkdir -p $TARGET/${VENDOR}_${MAINBOARD} $TARGET/abuild ABSPATH=`cd $TARGET/abuild; pwd`