[coreboot-gerrit] Patch merged into coreboot/master: abuild: change remove_board interface

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 35261c0d476eff250a695e97be8cd8ceb406a7d3
Author: Patrick Georgi <pgeorgi at chromium.org>
Date:   Fri Oct 30 23:25:23 2015 +0100

    abuild: change remove_board interface
    
    It's passed the mainboard's directory name (below $TARGET) directly
    in preparation of more rework in that area.
    
    Change-Id: I3a82b8673fdea07bc5c957f76f4685c34a805334
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
    Reviewed-on: http://review.coreboot.org/12275
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth <martinroth at google.com>
    Reviewed-by: Alexandru Gagniuc <mr.nuke.me at gmail.com>


See http://review.coreboot.org/12275 for details.

-gerrit