diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2014-07-14 09:13:55 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2014-07-14 09:13:55 +0200 |
commit | 45905095475cea42602f71e94084c74b951ff18b (patch) | |
tree | ccdaeb5e3f9d2765219fb1df7caf8e847f5a6258 /NEWS | |
parent | d0f8909087e541ca448901399db4f6c29dc3c4b7 (diff) |
Add support for specifying extra options on make command line
Using *_extra_*_options variables discards the values specified in the
configuration makefiles. If we want to specify additional options we
can now use a set of parallel variables in the form *_cmd_*_options.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions