From 9d0a7f5e6cd2ca50edb93023c0500f1924c31536 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:45:19 +0200
Subject: [PATCH] Skit the gtest root

---
 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 ff35c196..5ac59034 100755
--- a/CI/ci-linux-prepare.sh
+++ b/CI/ci-linux-prepare.sh
@@ -8,7 +8,7 @@ MAKE_OPTIONS=""
 BUILDPATH=""
 
 # set GTEST path
-OPTIONS="-DGTEST_ROOT=/usr/src/gtest/"
+OPTIONS=""
 
 if [ "$COMPILER" == "gcc" ]; then
   echo "Building with GCC";