tree 93a7e68a931503feb7a5d9fa5183c248d0e260e5
parent 503454968ba8dbad423c6deb1e44397ab11d291b
author Nico Huber <nico.h@gmx.de> 1775905715 +0000
committer Nico Huber <nico.h@gmx.de> 1780053847 +0000

Makefile.proof: Allow to override $(jobs) for `proof-allconfigs`

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