| commit | 38bdcea60afaa661a864febd74db3327a2e7b73c | [log] [tgz] |
|---|---|---|
| author | Jeremy Mordkoff <jeremy.mordkoff@gmail.com> | Thu Nov 09 12:09:57 2017 -0500 |
| committer | Jeremy Mordkoff <jeremy.mordkoff@gmail.com> | Thu Nov 09 12:09:57 2017 -0500 |
| tree | f49c2f44a7dd4c3795d7cd22daa3f2b5921bdf89 | |
| parent | 32762293b65637677d4e1236e06bf1a2df0eb930 [diff] [blame] |
BUG 410 -- update to new platform Signed-off-by: Jeremy Mordkoff <jeremy.mordkoff@gmail.com>
diff --git a/jenkins/UI/install b/jenkins/UI/install index 33f651f..3528cb5 100755 --- a/jenkins/UI/install +++ b/jenkins/UI/install
@@ -38,7 +38,7 @@ ############################################################################### # Set up repo and version PLATFORM_REPOSITORY=OSM3 -PLATFORM_VERSION=5.2.0.2.72254 +PLATFORM_VERSION=5.2.0.3.73627 while getopts ":P:V:h" o; do case "${o}" in