drake (version 7.13.9)

default_Makefile_args: Default arguments of Makefile parallelism [Deprecated]

Description

2019-01-03

Usage

default_Makefile_args(jobs, verbose)

Value

args for system2(command, args)

Arguments

jobs

Number of jobs.

verbose

Integer, control printing to the console/terminal.

  • 0: print nothing.

  • 1: print target-by-target messages as make() progresses.

  • 2: show a progress bar to track how many targets are done so far.