diff options
| author | José Fonseca <[email protected]> | 2013-03-12 20:33:38 +0000 |
|---|---|---|
| committer | José Fonseca <[email protected]> | 2013-03-12 22:04:04 +0000 |
| commit | 96b3ca89b153f358de74059151d2b0e8bd884dfa (patch) | |
| tree | fecbd9e68036f021a41aabe54712681e3f7752d7 | |
| parent | 4dca602521c51a4cb03855bda9c22b5ccc4829c7 (diff) | |
scons: Allows choosing VS 10 or 11.
NOTE: Candidate for the stable branches.
Reviewed-by: Brian Paul <[email protected]>
| -rw-r--r-- | common.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common.py b/common.py index 6ff9608c413..1d618e675af 100644 --- a/common.py +++ b/common.py @@ -100,4 +100,4 @@ def AddOptions(opts): opts.Add(BoolOption('quiet', 'DEPRECATED: profile build', 'yes')) opts.Add(BoolOption('texture_float', 'enable floating-point textures and renderbuffers', 'no')) if host_platform == 'windows': - opts.Add(EnumOption('MSVS_VERSION', 'MS Visual C++ version', None, allowed_values=('7.1', '8.0', '9.0'))) + opts.Add(EnumOption('MSVC_VERSION', 'MS Visual C++ version', None, allowed_values=('7.1', '8.0', '9.0', '10.0', '11.0'))) |