[coreboot-gerrit] Change in coreboot[master]: Define BL31_SOURCE in Makefile.inc and include it for headers

[Paul Kocialkowski (Code Review)]

Paul Kocialkowski has abandoned this change. ( https://review.coreboot.org/19136 )

Change subject: Define BL31_SOURCE in Makefile.inc and include it for headers
......................................................................


Abandoned

-- 
To view, visit https://review.coreboot.org/19136
To unsubscribe, visit https://review.coreboot.org/settings

Gerrit-MessageType: abandon
Gerrit-Change-Id: I148fa21a77cbb21f2b3b434e3d047a4577c991bb
Gerrit-PatchSet: 1
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Owner: Paul Kocialkowski <contact at paulk.fr>
Gerrit-Reviewer: Julius Werner <jwerner at chromium.org>
Gerrit-Reviewer: Martin Roth <martinroth at google.com>
Gerrit-Reviewer: Patrick Georgi <pgeorgi at google.com>
Gerrit-Reviewer: Paul Kocialkowski <contact at paulk.fr>
Gerrit-Reviewer: Paul Menzel <paulepanter at users.sourceforge.net>
Gerrit-Reviewer: build bot (Jenkins)