Home
last modified time | relevance | path

Searched refs:jobs (Results 1 – 1 of 1) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/
Drun-cbmc-proofs.py151 def run_build(jobs): argument
153 if jobs:
154 cmd.extend(["-j", str(jobs)])