tree 434a9baada2b0f895cf0087edaf316239fe8618b
parent 3537c3420d0887ed22565b9e4469952b99f1b76f
author José Fonseca <jfonseca@vmware.com> 1241190737 +0100
committer Keith Whitwell <keithw@vmware.com> 1241525691 +0100

scons: Don't use deprecated Options.