if [[ $PLATFORM == ub16 ]]; then
PLATFORM_REPOSITORY=${1:-OSM}
- PLATFORM_VERSION=${2:-4.99.1.1.58423}
+ PLATFORM_VERSION=${2:-4.99.1.1.58887}
elif [[ $PLATFORM == fc20 ]]; then
PLATFORM_REPOSITORY=${1:-OSM} # change to OSM when published
- PLATFORM_VERSION=${2:-4.99.1.1.58423}
+ PLATFORM_VERSION=${2:-4.99.1.1.58887}
else
echo "Internal error: unknown platform $PLATFORM"
exit 1