From 33cdd611ab4ec9fb4fdecaed826bda48b876b0eb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20M=C3=B6bius?= <moebius@cs.rwth-aachen.de>
Date: Thu, 12 May 2016 11:01:33 +0200
Subject: [PATCH] More verbose ci output for configuration

---
 CI/ci-mac.sh | 18 +++++++++++++++---
 1 file changed, 15 insertions(+), 3 deletions(-)

diff --git a/CI/ci-mac.sh b/CI/ci-mac.sh
index 61d5cbbc..9d015196 100755
--- a/CI/ci-mac.sh
+++ b/CI/ci-mac.sh
@@ -13,11 +13,11 @@ OPTIONS=""
 
 if [ "$LANGUAGE" == "C++98" ]; then
   echo "Building with C++98";
-  BUILDPATH="$BUILDPATH-cpp98"
+  BUILDPATH="cpp98"
 elif [ "$LANGUAGE" == "C++11" ]; then
   echo "Building with C++11";
   OPTIONS="$OPTIONS -DCMAKE_CXX_FLAGS='-std=c++11' "
-  BUILDPATH="$BUILDPATH-cpp11"  
+  BUILDPATH="cpp11"  
 fi  
 
 #=====================================
@@ -28,6 +28,18 @@ OUTPUT='\033[0;32m'
 WARNING='\033[0;93m'
 
 
+echo -e "${OUTPUT}"
+echo ""
+echo "======================================================================"
+echo "Basic configuration details:"
+echo "======================================================================"
+echo -e "${NC}"
+
+echo "Options:    $OPTIONS"
+echo "BuildPath:  $BUILDPATH"
+echo "Path:       $PATH"
+echo "Language:   $LANGUAGE"
+
 echo -e "${OUTPUT}"
 echo ""
 echo "======================================================================"
@@ -108,7 +120,7 @@ else
   echo -e "${NC}"
 fi
 
-
+OPTIONS=
 cd ..