diff options
| author | Sven Gothel <[email protected]> | 2023-02-01 18:13:11 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2023-02-01 18:13:11 +0100 |
| commit | e6e80d9869058e551fb431ae7d6e3a7e7b77c736 (patch) | |
| tree | 19c09b93327df1477cfc647237d78cb25b7f6f31 | |
| parent | 37abb5b4f65127f16c8f4e38c0d7b5fce7856f2b (diff) | |
jenkins-builds/promote-to-release-ssh-git.sh: Add version to logfile name
| -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() { |