drake (version 7.13.10)

make_imports: Just process the imports

Description

Deprecated on 2019-01-04

Usage

make_imports(config)

Value

nothing

Arguments

config

A configuration list returned by drake_config().

See Also

make(), drake_config()