From f1f1526166de7598c330ff8baba93d7602dce695 Mon Sep 17 00:00:00 2001
From: Kefu Chai <kchai@redhat.com>
Date: Tue, 3 Jul 2018 14:58:21 +0800
Subject: [PATCH] run-make-check.sh: enable WITH_SEASTAR

Signed-off-by: Kefu Chai <kchai@redhat.com>
---
 run-make-check.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/run-make-check.sh b/run-make-check.sh
index 3d5a9d0cdff..66191f40633 100755
--- a/run-make-check.sh
+++ b/run-make-check.sh
@@ -89,7 +89,8 @@ function run() {
     fi
 
     if test -f ./install-deps.sh ; then
-	$DRY_RUN source ./install-deps.sh || return 1
+	    export WITH_SEASTAR
+	    $DRY_RUN source ./install-deps.sh --with-seastar || return 1
         trap clean_up_after_myself EXIT
     fi
 
@@ -106,7 +107,7 @@ function run() {
         CMAKE_PYTHON_OPTS="-DWITH_PYTHON2=OFF -DWITH_PYTHON3=ON -DMGR_PYTHON_VERSION=3 -DWITH_GTEST_PARALLEL=OFF"
     fi
 
-    CMAKE_BUILD_OPTS="-DWITH_FIO=ON"
+    CMAKE_BUILD_OPTS="-DWITH_FIO=ON -DWITH_SEASTAR=ON"
 
     cat <<EOM
 Note that the binaries produced by this script do not contain correct time