diff options
author | Patrick Georgi <patrick.georgi@secunet.com> | 2012-11-22 14:19:43 +0100 |
---|---|---|
committer | Patrick Georgi <patrick@georgi-clan.de> | 2012-11-27 10:07:54 +0100 |
commit | 1a5301dd3373e7def334fc34787f79073f49029a (patch) | |
tree | cd1875bb1d340663316f0e2c78844a29bc11e646 /util/lint | |
parent | 536b53ea6daf23d7c09a35f5633f06e604a64e20 (diff) |
abuild: only rebuild boards if requested or after a broken build
That used to be the behaviour, and it's quite useful to incrementally
fix bugs across the tree.
Change-Id: I3e30cbdcf01631bc29f892054caa3babb0969beb
Signed-off-by: Patrick Georgi <patrick.georgi@secunet.com>
Reviewed-on: http://review.coreboot.org/1888
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'util/lint')
0 files changed, 0 insertions, 0 deletions