| commit | 6582141149192b4b7227f66870f3a5df7ac43bc6 | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.huber@secunet.com> | Mon Jun 04 21:13:21 2018 |
| committer | Nico Huber <nico.h@gmx.de> | Mon May 06 16:13:05 2019 |
| tree | 027bc9064aa1877e25fd87bc53f8cb5079ba6550 | |
| parent | c38015d052dd686c96504cbf5dd4c3d61fc030a5 [diff] |
Makefile.proof: Add --no-inlining to SPARKFLAGS With `--no-inlining`, proof is about 10% faster for libgfxinit. Change-Id: Ia6055da326901c1c25b9d0c757767891284bc515 Signed-off-by: Nico Huber <nico.huber@secunet.com> Reviewed-on: https://review.coreboot.org/c/libhwbase/+/26850 Tested-by: Nico Huber <nico.h@gmx.de> Reviewed-by: Reto Buerki <reet@codelabs.ch>