]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #18863 from tchaikov/wip-devtoolset-7
authorKefu Chai <tchaikov@gmail.com>
Tue, 5 Dec 2017 13:27:42 +0000 (21:27 +0800)
committerGitHub <noreply@github.com>
Tue, 5 Dec 2017 13:27:42 +0000 (21:27 +0800)
build/ops: use devtoolset-7 on centos/rhel-7

Reviewed-by: Sage Weil <sage@redhat.com>

Trivial merge