in template-for-repository/proofs/run-cbmc-proofs.py [0:0]
def run_build(litani, jobs):
cmd = [str(litani), "run-build"]
if jobs:
cmd.extend(["-j", str(jobs)])
logging.debug(" ".join(cmd))
proc = subprocess.run(cmd)
if proc.returncode:
logging.critical("Failed to run litani run-build")
sys.exit(1)