From: Kefu Chai <kchai@redhat.com>
Date: Wed, 4 Mar 2020 14:50:24 +0000 (+0800)
Subject: Merge pull request #33723 from tchaikov/wip-seastar-on-demand
X-Git-Tag: v15.1.1~127
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=faf701d33aeb6e1657c969a41223b37a6972b161;p=ceph.git

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>
---

faf701d33aeb6e1657c969a41223b37a6972b161