blob: 7dccb6e8ecc577eb68bf277d57e73c5391ea6271 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
--- src/thirdparty/v8/SConstruct.orig 2010-01-30 03:01:20.000000000 +0300
+++ src/thirdparty/v8/SConstruct 2010-01-30 03:02:10.000000000 +0300
@@ -824,7 +824,10 @@
else:
prefix = options[key]
if isinstance(prefix, StringTypes): prefix = prefix.split()
- options[key] = prefix + value
+ if key == 'CPPPATH':
+ options[key] = value + prefix
+ else:
+ options[key] = prefix + value
def ConfigureObject(self, env, input, **kw):
if (kw.has_key('CPPPATH') and env.has_key('CPPPATH')):
|
