diff options
author | Vinson Lee <vlee@freedesktop.org> | 2012-08-12 00:02:32 -0700 |
---|---|---|
committer | Vinson Lee <vlee@freedesktop.org> | 2012-08-15 22:04:24 -0700 |
commit | 3d6892c4793ae1fd1ef82d40e4af8004393b0480 (patch) | |
tree | e5eaa7877f95b3c1ca69c83919470ce9b6a7bb38 /common.py | |
parent | 6a3ac03f2b80c80655d66b31c0218754f70156de (diff) |
scons: Add option to enable floating-point textures.
Signed-off-by: Vinson Lee <vlee@freedesktop.org>
Reviewed-by: José Fonseca <jfonseca@vmware.com>
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'))) |