diff --git a/CI/ci-linux-build.sh b/CI/ci-linux-build.sh index 4c43c8c3b9648326388e55e4f2d81f970c78780d..6add6f47dd29854e77091c6f58b0db6d8c427e45 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 " ########################################