diff --git a/CI/ci-linux.sh b/CI/ci-linux.sh index 0fb2d6ff..b8d3162a 100755 --- a/CI/ci-linux.sh +++ b/CI/ci-linux.sh @@ -43,6 +43,21 @@ OUTPUT='\033[0;32m' WARNING='\033[0;93m' +echo -e "${OUTPUT}" +echo "" +echo "======================================================================" +echo "Basic configuration details:" +echo "======================================================================" +echo -e "${NC}" + +echo "Compiler: $COMPILER" +echo "Options: $OPTIONS" +echo "Language: $LANGUAGE" +echo "Make Options: $OPTIONS" +echo "BuildPath: $BUILDPATH" +echo "Path: $PATH" +echo "Language: $LANGUAGE" + echo -e "${OUTPUT}" echo "" echo "======================================================================"