diff --git a/jenkins/SO/install b/jenkins/SO/install index 5a02ab038b4253e1059ecaeafda21b9a65d3f650..59f2f18b5ffddf3c728420a3452428f6ea879488 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.0.71033 +PLATFORM_VERSION=5.2.0.1.71454 while getopts ":P:V:h" o; do case "${o}" in diff --git a/jenkins/UI/install b/jenkins/UI/install index d54afb61fcaf6de0f8a4daccc40e3fd006417019..3daa244d4307d0be30d6281c06454e8ffcff0d53 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.0.71033 +PLATFORM_VERSION=5.2.0.1.71454 while getopts ":P:V:h" o; do case "${o}" in