Merge "Updated platform"
diff --git a/BUILD.sh b/BUILD.sh
index 0443cc4..4521ca7 100755
--- a/BUILD.sh
+++ b/BUILD.sh
@@ -114,10 +114,10 @@
if [[ $PLATFORM == ub16 ]]; then
PLATFORM_REPOSITORY=${1:-OSM}
- PLATFORM_VERSION=${2:-4.3.1.0.50309}
+ PLATFORM_VERSION=${2:-4.3.1.0.53651}
elif [[ $PLATFORM == fc20 ]]; then
PLATFORM_REPOSITORY=${1:-OSM} # change to OSM when published
- PLATFORM_VERSION=${2:-4.3.1.0.50310}
+ PLATFORM_VERSION=${2:-4.3.1.0.53651}
else
echo "Internal error: unknown platform $PLATFORM"
exit 1