###############################################################################
# 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"
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