diff --git a/jenkins/SO/install b/jenkins/SO/install index 1292826e289e0b13b04a1d29c7f93fe021fd95f7..7000c8e2e787238425da95d3d4c97560713950d1 100755 --- a/jenkins/SO/install +++ b/jenkins/SO/install @@ -36,7 +36,7 @@ set -o nounset # Expanding an unset variable is an error. Variables must be ############################################################################### # Set up repo and version PLATFORM_REPOSITORY=OSM3 -PLATFORM_VERSION=5.2.0.3.73627 +PLATFORM_VERSION=5.2.0.2.72254 while getopts ":P:V:h" o; do case "${o}" in diff --git a/jenkins/UI/install b/jenkins/UI/install index 3528cb5cfdf8efa9dcad3c188268531e51daba2f..33f651fbd19c1ee396097344d9fb5fcb17ea4792 100755 --- a/jenkins/UI/install +++ b/jenkins/UI/install @@ -38,7 +38,7 @@ set -o nounset # Expanding an unset variable is an error. Variables must be ############################################################################### # Set up repo and version PLATFORM_REPOSITORY=OSM3 -PLATFORM_VERSION=5.2.0.3.73627 +PLATFORM_VERSION=5.2.0.2.72254 while getopts ":P:V:h" o; do case "${o}" in