From 95cc9b5bea32bd7d2d0605e62ef39da7ef878450 Mon Sep 17 00:00:00 2001
From: Martin Schultz <Martin.Schultz@rwth-aachen.de>
Date: Fri, 23 Mar 2018 10:32:36 +0100
Subject: [PATCH] fixed buildpath message in linux-build CI script

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

diff --git a/CI/ci-linux-build.sh b/CI/ci-linux-build.sh
index 4c43c8c3b..6add6f47d 100755
--- a/CI/ci-linux-build.sh
+++ b/CI/ci-linux-build.sh
@@ -14,7 +14,7 @@ set -e
 MY_DIR=$(dirname $(readlink -f $0))
 source $MY_DIR/ci-linux-config.sh
 
-echo "Building with path: build-release-$BUILDPATH"
+echo "Building with path: $BUILDPATH"
 echo "Full cmake options: $OPTIONS  "
 
 ########################################
-- 
GitLab