Change subject: Makefile.proof: Add --no-inlining to SPARKFLAGS
......................................................................
--
To view, visit
https://review.coreboot.org/c/libhwbase/+/26850
To unsubscribe, or for help writing mail filters, visit
https://review.coreboot.org/settings
Gerrit-Project: libhwbase
Gerrit-Branch: master
Gerrit-Change-Id: Ia6055da326901c1c25b9d0c757767891284bc515
Gerrit-Change-Number: 26850
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber
nico.h@gmx.de
Gerrit-Reviewer: Adrian-Ken Rueegsegger
ken@codelabs.ch
Gerrit-Reviewer: Nico Huber
nico.h@gmx.de
Gerrit-Reviewer: Paul Menzel
paulepanter@users.sourceforge.net
Gerrit-Reviewer: Reto Buerki
reet@codelabs.ch
Gerrit-Comment-Date: Tue, 30 Apr 2019 13:32:15 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment