From 4db885556a40bfe4dcc5bde2c4802f4d4a22e9a1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20M=C3=B6bius?= <moebius@cs.rwth-aachen.de>
Date: Tue, 27 Apr 2021 13:46:42 +0200
Subject: [PATCH] Use right gtest

---
 CI/ci-linux-prepare.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CI/ci-linux-prepare.sh b/CI/ci-linux-prepare.sh
index 5ac59034..afe15d6f 100755
--- a/CI/ci-linux-prepare.sh
+++ b/CI/ci-linux-prepare.sh
@@ -8,7 +8,7 @@ MAKE_OPTIONS=""
 BUILDPATH=""
 
 # set GTEST path
-OPTIONS=""
+OPTIONS="-DGTEST_ROOT= ~/sw/gtest-1.10.0/"
 
 if [ "$COMPILER" == "gcc" ]; then
   echo "Building with GCC";