X-Git-Url: https://osm.etsi.org/gitweb/?a=blobdiff_plain;f=BUILD.sh;h=60f70b025776ec29223e1918ebb6ee6eeaf2722f;hb=9f938817397c550b5b0a853d7a920fe65be806cd;hp=222ccad45c1aa23e2faf60e41e385dc49640df91;hpb=202103ed334461e6acd8e1d8a12d5153f1bb6f6a;p=osm%2FSO.git

diff --git a/BUILD.sh b/BUILD.sh
index 222ccad4..60f70b02 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"