tree 78f9a475fa86f33de8c62e54d6e009cdd83964fa
parent 0498e100f7097d7b25cf006e197d6a39ec839ecf
author Nico Huber <nico.h@gmx.de> 1775905183 +0000
committer Nico Huber <nico.h@gmx.de> 1780053847 +0000

Makefile.proof: Also run the regular build as part of proofs

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