| commit | 35ca5cc1eb4b0239ade90eed62bab2793a27d183 | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.h@gmx.de> | Sat Apr 11 11:08:35 2026 +0000 |
| committer | Nico Huber <nico.h@gmx.de> | Fri May 29 11:24:07 2026 +0000 |
| tree | 93a7e68a931503feb7a5d9fa5183c248d0e260e5 | |
| parent | 503454968ba8dbad423c6deb1e44397ab11d291b [diff] |
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>