From a28c04e02959bf47c2d256d94db324dd9277951d Mon Sep 17 00:00:00 2001
From: Roman Shevchenko <roman.shevchenko@jetbrains.com>
Date: Thu, 19 Feb 2015 21:28:22 +0100
Subject: [PATCH] project: update.sh adaptive for OS X app layout

---
 build/update.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build/update.sh b/build/update.sh
index b58f117a8315..22351f649b60 100755
--- a/build/update.sh
+++ b/build/update.sh
@@ -9,6 +9,9 @@
 # 3. DEV_IDEA_HOME points to the directory of the project you built at step 1
 # 4. You quit IntelliJ IDEA
 
+if [ ! -f "$WORK_IDEA_HOME/bin/inspect.sh" -a -f "$WORK_IDEA_HOME/Contents/bin/inspect.sh" ]; then
+  WORK_IDEA_HOME="$WORK_IDEA_HOME/Contents"
+fi
 if [ ! -f "$WORK_IDEA_HOME/bin/inspect.sh" ]; then
   echo "WORK_IDEA_HOME must be defined and point to build you're updating."
   exit 1