]> git.apps.os.sepia.ceph.com Git - ceph-ci.git/commit
Merge pull request #33723 from tchaikov/wip-seastar-on-demand
authorKefu Chai <kchai@redhat.com>
Wed, 4 Mar 2020 14:50:24 +0000 (22:50 +0800)
committerGitHub <noreply@github.com>
Wed, 4 Mar 2020 14:50:24 +0000 (22:50 +0800)
commitfaf701d33aeb6e1657c969a41223b37a6972b161
tree867547c78c0b2f45962d74c0aca4ec52f07bbcc4
parentbb3a4f227068fc96b8b262057d34892ada63c1c6
parent72a0ed4275235c4fc48ff558bc4ebfd491175610
Merge pull request #33723 from tchaikov/wip-seastar-on-demand

run-make-check.sh: WITH_SEASTAR on demand

Reviewed-by: Nathan Cutler <ncutler@suse.com>