From e6b32406dcbd24f2be3e7a4364f9f433490a834e Mon Sep 17 00:00:00 2001 From: Marcin Grzejszczak Date: Tue, 16 Aug 2016 17:58:07 +0200 Subject: [PATCH] Hopefully fixed the build for Jenkins --- docs/src/main/asciidoc/ghpages.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/src/main/asciidoc/ghpages.sh b/docs/src/main/asciidoc/ghpages.sh index 6a10d73a..a5d1acd5 100755 --- a/docs/src/main/asciidoc/ghpages.sh +++ b/docs/src/main/asciidoc/ghpages.sh @@ -28,6 +28,7 @@ fi # Prop that will let commit the changes COMMIT_CHANGES="no" MAVEN_PATH=${MAVEN_PATH:-} +echo "Path to Maven is [${MAVEN_PATH}]" # Code getting the name of the current branch. For master we want to publish as we did until now # http://stackoverflow.com/questions/1593051/how-to-programmatically-determine-the-current-checked-out-git-branch