tree 90d500ae2182cbdaecd8eff30a020695b9f555fc
parent 1c59ea959215271577d888a721536ac86c6f06f5
author José Fonseca <jfonseca@vmware.com> 1309543497 +0100
committer José Fonseca <jfonseca@vmware.com> 1309543497 +0100

scons: Disable saving options automatically.

It makes things too random, as settings for temporary trials get stored
permannently, and it make difficult to build several platforms from the
same tree.

So disable it, again.