From 4d8972a2460642de05dde627d1ce473c2e145e69 Mon Sep 17 00:00:00 2001
From: elsid <elsid.mail@gmail.com>
Date: Tue, 15 Jan 2019 16:05:27 +0300
Subject: [PATCH] Run either ctest or make ozo_coverage

---
 scripts/build.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/build.sh b/scripts/build.sh
index ffd228772..667bfad87 100755
--- a/scripts/build.sh
+++ b/scripts/build.sh
@@ -128,9 +128,10 @@ build() {
     if [[ $OZO_BUILD_PG_TESTS == "ON" ]]; then
         ${SOURCE_DIR}/scripts/wait_postgres.sh
     fi
-    ctest -V
     if [[ ${OZO_COVERAGE} == "ON" ]]; then
         make ozo_coverage
+    else
+        ctest -V
     fi
     if [[ ${OZO_TEST_EXTERNAL_PROJECT} == "ON" ]]; then
         INSTALL_DIR="${BUILD_DIR}/ozo_install"