X-Git-Url: https://osm.etsi.org/gitweb/?a=blobdiff_plain;f=BUILD.sh;h=cb6fb37b93a249d8270b259797a06463ac8e2b29;hb=82b1c9bfa4d4b609a261235edbd6a92d8c24ef9e;hp=222ccad45c1aa23e2faf60e41e385dc49640df91;hpb=49868d2c71eb364cee9707515be6841a568dad40;p=osm%2FSO.git

diff --git a/BUILD.sh b/BUILD.sh
index 222ccad4..cb6fb37b 100755
--- a/BUILD.sh
+++ b/BUILD.sh
@@ -95,9 +95,14 @@ set -x             # Print commands before executing them
 
 ###############################################################################
 # Find the platform
-if python -mplatform | grep -qi fedora; then
+PYTHON=python
+if [[ ! -f /usr/bin/python ]]; then
+  PYTHON=python3
+fi
+
+if $PYTHON -mplatform | grep -qi fedora; then
     PLATFORM=fc20
-elif python -mplatform | grep -qi ubuntu; then
+elif $PYTHON -mplatform | grep -qi ubuntu; then
     PLATFORM=ub16
 else
     echo "Unknown platform"
@@ -109,10 +114,10 @@ fi
 
 if [[ $PLATFORM == ub16 ]]; then
     PLATFORM_REPOSITORY=${1:-OSM}
-    PLATFORM_VERSION=${2:-4.3.1.0.49556}
+    PLATFORM_VERSION=${2:-4.3.1.0.50309}
 elif [[ $PLATFORM == fc20 ]]; then
     PLATFORM_REPOSITORY=${1:-OSM}  # change to OSM when published
-    PLATFORM_VERSION=${2:-4.3.1.0.49553-1}
+    PLATFORM_VERSION=${2:-4.3.1.0.50310}
 else
     echo "Internal error: unknown platform $PLATFORM"
     exit 1
@@ -159,7 +164,7 @@ fi
 
 if [[ $PLATFORM == ub16 ]]; then
     # install the RIFT platform code:
-    sudo apt-get install -y rw.toolchain-rwbase=${PLATFORM_VERSION} \
+    sudo apt-get install -y --allow-downgrades rw.toolchain-rwbase=${PLATFORM_VERSION} \
 	 rw.toolchain-rwtoolchain=${PLATFORM_VERSION} \
 	 rw.core.mgmt-mgmt=${PLATFORM_VERSION} \
 	 rw.core.util-util=${PLATFORM_VERSION} \