diff options
Diffstat (limited to 'common.py')
| -rw-r--r-- | common.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/common.py b/common.py index 6121a411403..6ff9608c413 100644 --- a/common.py +++ b/common.py @@ -98,5 +98,6 @@ def AddOptions(opts): opts.Add(BoolOption('debug', 'DEPRECATED: debug build', 'yes')) opts.Add(BoolOption('profile', 'DEPRECATED: profile build', 'no')) 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'))) |