diff options
author | José Fonseca <jfonseca@vmware.com> | 2009-12-18 22:40:33 +0000 |
---|---|---|
committer | José Fonseca <jfonseca@vmware.com> | 2009-12-22 19:03:56 +0000 |
commit | f1ea77a234fb527c33e6c808581a0532d3dd843a (patch) | |
tree | 3232414c1a13b9370ee390b3a5f96415abdd515d /common.py | |
parent | 8408075071db03e70d69a84a3e2d36d034b309ca (diff) |
scons: Set the default windows platform to be windows userspace.
I thought I had done this ages ago.
Diffstat (limited to 'common.py')
-rw-r--r-- | common.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -12,7 +12,7 @@ import platform as _platform _platform_map = { 'linux2': 'linux', - 'win32': 'winddk', + 'win32': 'windows', } default_platform = sys.platform |