Merge remote branch 'origin/master' into HEAD

[mesa.git] / common.py

diff --git a/common.py b/common.py
index cc2582f1a4ed5c713a46587423e462939cbc0ced..1a99df41c01ca6a175850263d71ad11dd0288e0b 100644 (file)
--- a/common.py
+++ b/common.py
@@ -60,6 +60,8 @@ def AddOptions(opts):
                                                                                         allowed_values=('generic', 'ppc', 'x86', 'x86_64')))
        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', 'winddk')))
        opts.Add(BoolOption('llvm', 'use LLVM', 'no'))
        opts.Add(BoolOption('dri', 'build DRI drivers', default_dri))