From: Kefu Chai <tchaikov@gmail.com>
Date: Wed, 18 Jul 2018 03:53:07 +0000 (+0800)
Subject: Merge pull request #23108 from tchaikov/wip-install-deps-seastar
X-Git-Tag: v14.0.1~853
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=3817e30d68fc2e042048dce8a6d7916be1f5bbcb;p=ceph.git

Merge pull request #23108 from tchaikov/wip-install-deps-seastar

run-make-check: set WITH_SEASTAR with a non-empty string

Reviewed-by: Brad Hubbard <bhubbard@redhat.com>
---

3817e30d68fc2e042048dce8a6d7916be1f5bbcb