commit 3d6892c4793ae1fd1ef82d40e4af8004393b0480
author Vinson Lee <vlee@freedesktop.org> Sun Aug 12 00:02:32 2012 -0700
committer Vinson Lee <vlee@freedesktop.org> Wed Aug 15 22:04:24 2012 -0700
tree e5eaa7877f95b3c1ca69c83919470ce9b6a7bb38
parent 6a3ac03f2b80c80655d66b31c0218754f70156de

scons: Add option to enable floating-point textures.

Signed-off-by: Vinson Lee <vlee@freedesktop.org>
Reviewed-by: José Fonseca <jfonseca@vmware.com>

common.py

diff --git a/common.py b/common.py
index 6121a41..6ff9608 100644
--- a/common.py
+++ b/common.py
@@ -98,5 +98,6 @@
 	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')))