mirror
/
mongo
mirror of https://github.com/mongodb/mongo
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

SERVER-37769 Fix lint

This commit is contained in:
Gregory Wlodarek 2019-04-29 18:34:57 -04:00
parent a318e73c73
commit 50ecfadfd6
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
buildscripts/packager.py
View File

@ -848,7 +848,8 @@ def make_rpm(distro, build_os, arch, spec, srcdir): # pylint: disable=too-many-
# Probably need to add RHEL 8 to this when we start building for it # Probably need to add RHEL 8 to this when we start building for it
if distro.name() == "suse" and distro.repo_os_version(build_os) == "15": if distro.name() == "suse" and distro.repo_os_version(build_os) == "15":
flags.extend([ flags.extend([
"--buildroot", os.path.join(topdir, "BUILDROOT"), "--buildroot",
os.path.join(topdir, "BUILDROOT"),
]) ])
sysassert(["rpmbuild", "-ba", "--target", distro_arch] + flags + sysassert(["rpmbuild", "-ba", "--target", distro_arch] + flags +