diff options
Diffstat (limited to 'jenkins-builds')
-rwxr-xr-x | jenkins-builds/funcs_promotion.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/jenkins-builds/funcs_promotion.sh b/jenkins-builds/funcs_promotion.sh index fedbb86..2b31e78 100755 --- a/jenkins-builds/funcs_promotion.sh +++ b/jenkins-builds/funcs_promotion.sh @@ -330,6 +330,14 @@ function prom_cleanup() { echo "INFO: delete tmp folder" rm -rf tmp + + # remove the platform 7z files of the local archive folder + for i in $os_and_archs ; do + for j in gluegen joal jocl jogl ; do + local zfile=archive/jogamp-$i/$j-$i.7z + rm -v $zfile + done + done cd $lthisdir } |