diff options
| author | José Fonseca <[email protected]> | 2009-12-18 22:40:33 +0000 |
|---|---|---|
| committer | José Fonseca <[email protected]> | 2010-01-08 14:31:25 +0000 |
| commit | 9cdf6f025b2ed55cfb13dd09f870f01d0c7947d3 (patch) | |
| tree | ac6f49043584231bbf797362fe1d63da6913c59f | |
| parent | baeb3a23513b9045c1a50bbe21124a4f8a9b6cd6 (diff) | |
scons: Set the default windows platform to be windows userspace.
I thought I had done this ages ago.
| -rw-r--r-- | common.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common.py b/common.py index 3b6bf52c035..101fc558f40 100644 --- a/common.py +++ b/common.py @@ -12,7 +12,7 @@ import platform as _platform _platform_map = { 'linux2': 'linux', - 'win32': 'winddk', + 'win32': 'windows', } default_platform = sys.platform |