def run_build()

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)