diff options
| author | José Fonseca <jrfonseca@tungstengraphics.com> | 2008-12-12 09:44:47 +0900 |
|---|---|---|
| committer | José Fonseca <jrfonseca@tungstengraphics.com> | 2008-12-12 09:47:20 +0900 |
| commit | fa6ee2c2bbf1005090c434c945e63ed2c0de8ec6 (patch) | |
| tree | 4fbf30c41f87f7bc234e1b10573751b51deee6a7 /common.py | |
| parent | 5c845b911596e72a9fdbc566ee06b1d7dc8afb7c (diff) | |
scons: Allow to request the winddk toolchain.
Diffstat (limited to 'common.py')
| -rw-r--r-- | common.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common.py b/common.py index 8d8b1631fd5..95ef1b9b9b5 100644 --- a/common.py +++ b/common.py @@ -60,7 +60,7 @@ def AddOptions(opts): opts.Add(EnumOption('platform', 'target platform', default_platform, allowed_values=('linux', 'cell', 'windows', 'winddk', 'wince'))) opts.Add(EnumOption('toolchain', 'compiler toolchain', 'default', - allowed_values=('default', 'crossmingw'))) + allowed_values=('default', 'crossmingw', 'winddk'))) opts.Add(BoolOption('llvm', 'use LLVM', 'no')) opts.Add(BoolOption('dri', 'build DRI drivers', default_dri)) |