commit | ef4bf40db03ff1df2bae2db8f4a65421bf4a7c06 | [log] [tgz] |
---|---|---|
author | José Fonseca <jfonseca@vmware.com> | Fri Jun 17 20:11:35 2011 +0100 |
committer | José Fonseca <jfonseca@vmware.com> | Fri Jun 17 20:13:16 2011 +0100 |
tree | 6b9971c7c78f48f375a9e4f750fd9fca2ee4d59e | |
parent | c9be435c79e2bbc883701c5533ae0490780495be [diff] |
scons: Remember the options set on the command line. Save them in config.py