From 695bcc49b2ee32507fe8d2482bc1bd8c0036db61 Mon Sep 17 00:00:00 2001
From: Johannes Lenzen <johannes.lenzen@rwth-aachen.de>
Date: Tue, 2 Feb 2021 15:04:02 +0100
Subject: [PATCH] Run cmake in test

---
 CI/ci-linux-test.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/CI/ci-linux-test.sh b/CI/ci-linux-test.sh
index f8f28c1f..ce008226 100755
--- a/CI/ci-linux-test.sh
+++ b/CI/ci-linux-test.sh
@@ -29,6 +29,9 @@ fi
 
 cd build-$BUILDPATH
 
+# Run cmake to make sure the tests are configured correctly for this system
+cmake -DOPENFLIPPER_BUILD_UNIT_TESTS=TRUE -DSTL_VECTOR_CHECKS=ON $OPTIONS ../
+
 #build the unit tests
 make  $MAKE_OPTIONS unittests