diff options
| author | Benety Goh <benety@mongodb.com> | 2014-04-23 17:31:32 -0400 |
|---|---|---|
| committer | Benety Goh <benety@mongodb.com> | 2014-05-01 09:35:46 -0400 |
| commit | 7e3f93197f73e5a2e0d1cff55c928dde102aa970 (patch) | |
| tree | 552a760ee26a478f508236cbfc65ced7a4656389 /buildscripts/utils.py | |
| parent | b7e3345e989b819b9b82707c49bcfa7188aae767 (diff) | |
| download | mongo-7e3f93197f73e5a2e0d1cff55c928dde102aa970.tar.gz | |
SERVER-13686 V8 3.25 scripting engine. Disabled by default. Enable using SCons flag js-engine=v8-3.25
Diffstat (limited to 'buildscripts/utils.py')
| -rw-r--r-- | buildscripts/utils.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/buildscripts/utils.py b/buildscripts/utils.py index 68273ee69c8..0a46ef440d4 100644 --- a/buildscripts/utils.py +++ b/buildscripts/utils.py @@ -24,6 +24,11 @@ def getAllSourceFiles( arr=None , prefix="." ): for x in os.listdir( prefix ): if x.startswith( "." ) or x.startswith( "pcre-" ) or x.startswith( "32bit" ) or x.startswith( "mongodb-" ) or x.startswith("debian") or x.startswith( "mongo-cxx-driver" ): continue + # XXX: Avoid conflict between v8 and v8-3.25 source files in + # src/mongo/scripting + # Remove after v8-3.25 migration. + if x.find("v8-3.25") != -1: + continue full = prefix + "/" + x if os.path.isdir( full ) and not os.path.islink( full ): getAllSourceFiles( arr , full ) |