tree 027bc9064aa1877e25fd87bc53f8cb5079ba6550
parent c38015d052dd686c96504cbf5dd4c3d61fc030a5
author Nico Huber <nico.huber@secunet.com> 1528146801 +0200
committer Nico Huber <nico.h@gmx.de> 1557159185 +0000

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>