tree 5871d24b0f572ab2224b4063b4437f44757fbcb2
parent 35ca5cc1eb4b0239ade90eed62bab2793a27d183
author Nico Huber <nico.h@gmx.de> 1775947010 +0000
committer Nico Huber <nico.h@gmx.de> 1780053847 +0000

Makefile.proof: Increase proof timeout

Hardware is getting faster but software slower??? A few libgfxinit
proofs take longer than 1s now, so we'll double the timeout to 2s.

Change-Id: I27a39662c80216b7b7e2285c953d2f20995647ff
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.sourcearcade.org/c/libhwbase/+/475
Tested-by: Ada SPARK <gnatbot@sourcearcade.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>