tree 58b66670777c9518dde4b7c51cf974924c70832e
parent 79bb3da4d3233f26352d549a7a9cb1d1d857c21d
author José Fonseca <jfonseca@vmware.com> 1261176033 +0000
committer José Fonseca <jfonseca@vmware.com> 1261508636 +0000

scons: Set the default windows platform to be windows userspace.

I thought I had done this ages ago.