diff options
| -rwxr-xr-x | jenkins-builds/promote-latest-builds.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins-builds/promote-latest-builds.sh b/jenkins-builds/promote-latest-builds.sh index 2cff133..c61bdc1 100755 --- a/jenkins-builds/promote-latest-builds.sh +++ b/jenkins-builds/promote-latest-builds.sh @@ -34,7 +34,7 @@ logfile=$thisdir/`basename $0 .sh`.log archivedir=/srv/www/jogamp.org/deployment/archive/$branch rootdir=/srv/www/jogamp.org/deployment/autobuilds/$branch -os_and_archs_minus_one="linux-i586 linux-armv7 linux-armv7hf android-armv7 macosx-universal windows-amd64 windows-i586 solaris-i586 solaris-amd64" +os_and_archs_minus_one="linux-i586 linux-armv6 linux-armv6hf android-armv6 macosx-universal windows-amd64 windows-i586 solaris-i586 solaris-amd64" masterpick="linux-amd64" os_and_archs="$masterpick $os_and_archs_minus_one" |