16 Apr
2020
16 Apr
'20
3:13 a.m.
Hello build bot (Jenkins), Damien Zammit, Patrick Georgi, Martin Roth, Angel Pons, Julius Werner, Patrick Rudolph,
I'd like you to reexamine a change. Please visit
https://review.coreboot.org/c/coreboot/+/39561
to look at the new patch set (#21).
Change subject: src: Add '-Wduplicated-branches' warning option ......................................................................
src: Add '-Wduplicated-branches' warning option
Change-Id: Ie433f32a423ce32ea2bd5ae09a1718341cd2b672 Signed-off-by: Elyes HAOUAS ehaouas@noos.fr --- M Makefile.inc 1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://review.coreboot.org:29418/coreboot refs/changes/61/39561/21
--
To view, visit https://review.coreboot.org/c/coreboot/+/39561
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: Ie433f32a423ce32ea2bd5ae09a1718341cd2b672
Gerrit-Change-Number: 39561
Gerrit-PatchSet: 21
Gerrit-Owner: HAOUAS Elyes ehaouas@noos.fr
Gerrit-Reviewer: Angel Pons th3fanbus@gmail.com
Gerrit-Reviewer: Damien Zammit
Gerrit-Reviewer: Julius Werner jwerner@chromium.org
Gerrit-Reviewer: Martin Roth martinroth@google.com
Gerrit-Reviewer: Patrick Georgi pgeorgi@google.com
Gerrit-Reviewer: Patrick Rudolph siro@das-labor.org
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-CC: Paul Menzel paulepanter@users.sourceforge.net
Gerrit-MessageType: newpatchset