diff options
Diffstat (limited to 'jenkins-builds/promote-to-release-ssh-git.sh')
| -rw-r--r-- | jenkins-builds/promote-to-release-ssh-git.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins-builds/promote-to-release-ssh-git.sh b/jenkins-builds/promote-to-release-ssh-git.sh index 2faa349..5892828 100644 --- a/jenkins-builds/promote-to-release-ssh-git.sh +++ b/jenkins-builds/promote-to-release-ssh-git.sh @@ -6,7 +6,7 @@ adir=archive/master/gluegen_951-joal_669-jogl_1518-jocl_1158 sdir=archive/rc urlb=https://jogamp.org/deployment -logfile=`basename $0 .sh`.log +logfile=`basename $0 .sh`.${version}.log function deploy_it() { |