drake (version 7.13.10)

make_with_config: Apply make() with a pre-computed config object

Description

Deprecated on 2019-01-04

Usage

make_with_config(config)

Value

nothing

Arguments

config

A configuration list returned by drake_config().

See Also

make(), drake_config()