| 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] |
BUG 410 -- update to new platform Signed-off-by: Jeremy Mordkoff <jeremy.mordkoff@gmail.com>
diff --git a/jenkins/SO/install b/jenkins/SO/install index 7000c8e..1292826 100755 --- a/jenkins/SO/install +++ b/jenkins/SO/install
@@ -36,7 +36,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