diff options
author | Ernie Hershey <ernie.hershey@10gen.com> | 2014-09-02 11:45:36 -0400 |
---|---|---|
committer | Ernie Hershey <ernie.hershey@10gen.com> | 2014-09-18 17:47:04 -0400 |
commit | fe9de6e07e646b9844cb241d4e202cc2b0275225 (patch) | |
tree | 1fdb01420162ca48a35593642e2fc56fad4a854e | |
parent | 28f15d30094b01c7e699a1ea9dd3185de96a89b5 (diff) | |
download | mongo-fe9de6e07e646b9844cb241d4e202cc2b0275225.tar.gz |
SERVER-14023 Add RHEL 7 Enterprise .rpm
(cherry picked from commit 5181c39ebe970ef8053c70e7c283510d8ed2f41a)
-rwxr-xr-x | buildscripts/packager-enterprise.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/buildscripts/packager-enterprise.py b/buildscripts/packager-enterprise.py index cd1a706c644..ec0c8b57b6c 100755 --- a/buildscripts/packager-enterprise.py +++ b/buildscripts/packager-enterprise.py @@ -198,13 +198,13 @@ class Distro(object): raise Exception("BUG: unsupported platform?") def build_os(self): - """Return the build os label in the binary package to download ("rhel57" and "rhel62" + """Return the build os label in the binary package to download ("rhel57", "rhel62" and "rhel70" for redhat, "ubuntu1204" for Ubuntu, "debian71" for Debian, and "suse11" for SUSE)""" if re.search("(suse)", self.n): return [ "suse11" ] if re.search("(redhat|fedora|centos)", self.n): - return [ "rhel62", "rhel57" ] + return [ "rhel70", "rhel62", "rhel57" ] elif self.n == 'ubuntu': return [ "ubuntu1204" ] elif self.n == 'debian': |