use platform_local over detected platform if it exists

This commit is contained in:
j 2016-02-06 17:43:17 +05:30
parent 16fbf98303
commit f2e3f57871

6
ctl
View file

@ -35,8 +35,8 @@ fi
PLATFORM_PYTHON=3.4 PLATFORM_PYTHON=3.4
SHARED_PYTHON=3.4 SHARED_PYTHON=3.4
if [ -e "$BASE/local_platform" ]; then if [ -e "$BASE/platform_local" ]; then
export PLATFORM_ENV="$BASE/local_platform" export PLATFORM_ENV="$BASE/platform_local"
else else
if [ $SYSTEM == "Linux" ]; then if [ $SYSTEM == "Linux" ]; then
if [ $PLATFORM == "x86_64" ]; then if [ $PLATFORM == "x86_64" ]; then
@ -50,8 +50,8 @@ else
PLATFORM="darwin64" PLATFORM="darwin64"
PLATFORM_PY=3.5 PLATFORM_PY=3.5
fi fi
export PLATFORM_ENV="$BASE/platform_${PLATFORM}"
fi fi
export PLATFORM_ENV="$BASE/platform_${PLATFORM}"
PATH="$PLATFORM_ENV/bin:$PATH" PATH="$PLATFORM_ENV/bin:$PATH"
SHARED_ENV="$BASE/platform/Shared" SHARED_ENV="$BASE/platform/Shared"