diff options
author | Patrick Georgi <patrick@georgi-clan.de> | 2014-07-10 21:06:04 +0200 |
---|---|---|
committer | Patrick Georgi <patrick@georgi-clan.de> | 2014-07-15 12:26:43 +0200 |
commit | 18ff4f166beef62175a81e9ffc7390d4a0ae5b64 (patch) | |
tree | 3830b75a8bc904c48d2151feb0c477b092a28525 /documentation/Makefile | |
parent | 3bb0b7230c07cb1d5b71df6976a8323c1cb41ca0 (diff) |
build system: create .xcompile dependency
It's probably safe to say that .xcompile needs an update if
util/xcompile/xcompile changed, so tell make about this
dependency.
Updates are honored immediately due to GNU make's feature of
reinterpreting everything when an included file changes. See "How
Makefiles Are Remade" in the GNU make documentation for details.
Change-Id: Ide2f028eaddcee66028c6403688cc83e1622fa6b
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/6255
Tested-by: build bot (Jenkins)
Reviewed-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
Diffstat (limited to 'documentation/Makefile')
0 files changed, 0 insertions, 0 deletions