From f2e3f57871274a6641d0a2599638c61688f7aa74 Mon Sep 17 00:00:00 2001
From: j <j@mailb.org>
Date: Sat, 6 Feb 2016 17:43:17 +0530
Subject: [PATCH] use platform_local over detected platform if it exists

---
 ctl | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ctl b/ctl
index a373f5b..0ef393d 100755
--- a/ctl
+++ b/ctl
@@ -35,8 +35,8 @@ fi
 
 PLATFORM_PYTHON=3.4
 SHARED_PYTHON=3.4
-if [ -e "$BASE/local_platform" ]; then
-    export PLATFORM_ENV="$BASE/local_platform"
+if [ -e "$BASE/platform_local" ]; then
+    export PLATFORM_ENV="$BASE/platform_local"
 else
     if [ $SYSTEM == "Linux" ]; then
         if [ $PLATFORM == "x86_64" ]; then
@@ -50,8 +50,8 @@ else
         PLATFORM="darwin64"
         PLATFORM_PY=3.5
     fi
+    export PLATFORM_ENV="$BASE/platform_${PLATFORM}"
 fi
-export PLATFORM_ENV="$BASE/platform_${PLATFORM}"
 PATH="$PLATFORM_ENV/bin:$PATH"
 
 SHARED_ENV="$BASE/platform/Shared"