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