tree 6b9971c7c78f48f375a9e4f750fd9fca2ee4d59e
parent c9be435c79e2bbc883701c5533ae0490780495be
author José Fonseca <jfonseca@vmware.com> 1308337895 +0100
committer José Fonseca <jfonseca@vmware.com> 1308337996 +0100

scons: Remember the options set on the command line.

Save them in config.py