Skip to content

Commit

Permalink
Run either ctest or make ozo_coverage
Browse files Browse the repository at this point in the history
  • Loading branch information
elsid authored and thed636 committed Nov 9, 2019
1 parent 66c5dc4 commit 4d8972a
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion scripts/build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down

0 comments on commit 4d8972a

Please sign in to comment.