Nico Huber has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/31311 )
Change subject: arch/*: make ARCH specific options depend on select ARCH_x
......................................................................
Patch Set 3:
Let's see if jenkins thinks this is a good idea...
Even if, we should also check if the binaries (or
maybe just `config.h` files) stay the same. In
theory, defaults for one arch could have been
applied for another one by accident.
--
To view, visit
https://review.coreboot.org/c/coreboot/+/31311
To unsubscribe, or for help writing mail filters, visit
https://review.coreboot.org/settings
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I3e8c1cc5696d621e243696a3b5e34f62ab69a688
Gerrit-Change-Number: 31311
Gerrit-PatchSet: 3
Gerrit-Owner: Arthur Heymans
arthur@aheymans.xyz
Gerrit-Reviewer: Angel Pons
th3fanbus@gmail.com
Gerrit-Reviewer: Arthur Heymans
arthur@aheymans.xyz
Gerrit-Reviewer: Jonathan Neuschäfer
j.neuschaefer@gmx.net
Gerrit-Reviewer: Julius Werner
jwerner@chromium.org
Gerrit-Reviewer: Nico Huber
nico.h@gmx.de
Gerrit-Reviewer: Philipp Hug
philipp@hug.cx
Gerrit-Reviewer: build bot (Jenkins)
no-reply@coreboot.org
Gerrit-Reviewer: ron minnich
rminnich@gmail.com
Gerrit-Comment-Date: Sun, 10 Feb 2019 15:36:32 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: No
Gerrit-MessageType: comment