diff options
| author | José Fonseca <jfonseca@vmware.com> | 2011-06-17 20:11:35 +0100 |
|---|---|---|
| committer | José Fonseca <jfonseca@vmware.com> | 2011-06-17 20:13:16 +0100 |
| commit | ef4bf40db03ff1df2bae2db8f4a65421bf4a7c06 (patch) | |
| tree | 6b9971c7c78f48f375a9e4f750fd9fca2ee4d59e /include | |
| parent | c9be435c79e2bbc883701c5533ae0490780495be (diff) | |
scons: Remember the options set on the command line.
Save them in config.py
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions