projects
/
osm
/
SO.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge "RIFT-14721"
[osm/SO.git]
/
BUILD.sh
diff --git
a/BUILD.sh
b/BUILD.sh
index
222ccad
..
60f70b0
100755
(executable)
--- a/
BUILD.sh
+++ b/
BUILD.sh
@@
-95,9
+95,14
@@
set -x # Print commands before executing them
###############################################################################
# Find the platform
###############################################################################
# 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
PLATFORM=fc20
-elif
python
-mplatform | grep -qi ubuntu; then
+elif
$PYTHON
-mplatform | grep -qi ubuntu; then
PLATFORM=ub16
else
echo "Unknown platform"
PLATFORM=ub16
else
echo "Unknown platform"