diff options
author | Jason Carey <jcarey@argv.me> | 2015-07-09 14:05:20 -0400 |
---|---|---|
committer | Jason Carey <jcarey@argv.me> | 2015-07-14 16:15:54 -0400 |
commit | e749ffad9b4fe3110d97f366ebe39e7c9a4edd9d (patch) | |
tree | 927e727645da9bfc80095bb124860e31e58e9d77 /buildscripts/packager.py | |
parent | 1af5f44f9ba2b7cff8e0457798b7a25b64e9fe69 (diff) | |
download | mongo-e749ffad9b4fe3110d97f366ebe39e7c9a4edd9d.tar.gz |
SERVER-18531 Integrate SpiderMonkey
Provides SpiderMonkey 38.0.1esr as a JS engine for mongo and mongod.
Diffstat (limited to 'buildscripts/packager.py')
-rwxr-xr-x | buildscripts/packager.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildscripts/packager.py b/buildscripts/packager.py index 54b2c53ee22..6896eabb542 100755 --- a/buildscripts/packager.py +++ b/buildscripts/packager.py @@ -385,7 +385,7 @@ def unpack_binaries_into(build_os, arch, spec, where): try: sysassert(["tar", "xvzf", rootdir+"/"+tarfile(build_os, arch, spec)]) release_dir = glob('mongodb-linux-*')[0] - for releasefile in "bin", "GNU-AGPL-3.0", "README", "THIRD-PARTY-NOTICES": + for releasefile in "bin", "GNU-AGPL-3.0", "README", "THIRD-PARTY-NOTICES", "MPL-2": print "moving file: %s/%s" % (release_dir, releasefile) os.rename("%s/%s" % (release_dir, releasefile), releasefile) os.rmdir(release_dir) |