Merge remote branch 'origin/master' into HEAD

[mesa.git] / common.py

diff --git a/common.py b/common.py
index d9e919ef76c8940cec6b48a4b38bc90c63e95734..1a99df41c01ca6a175850263d71ad11dd0288e0b 100644 (file)
--- a/common.py
+++ b/common.py
@@ -61,7 +61,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))