diff --git a/bin/fresh_build.sh b/bin/fresh_build.sh index d02a88d..09d4613 100755 --- a/bin/fresh_build.sh +++ b/bin/fresh_build.sh @@ -497,7 +497,10 @@ do m) MAVEN_PROFILE="-P ${OPTARG}";; p) TAG_PUB=${OPTARG};; t) CHECK_REPO_TAG=${OPTARG} - TAG_PUB=$CHECK_REPO_TAG + if [[ "$CHECK_REPO_TAG" != "" ]] + then + TAG_PUB=$CHECK_REPO_TAG + fi ;; w) WKDIR=${OPTARG} WKDIR_PAR=`dirname $WKDIR`