projects
/
idea
/
community.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
58e443a
)
project: update.sh adaptive for OS X app layout
author
Roman Shevchenko
<roman.shevchenko@jetbrains.com>
Thu, 19 Feb 2015 20:28:22 +0000
(21:28 +0100)
committer
Roman Shevchenko
<roman.shevchenko@jetbrains.com>
Thu, 19 Feb 2015 20:28:22 +0000
(21:28 +0100)
build/update.sh
patch
|
blob
|
history
diff --git
a/build/update.sh
b/build/update.sh
index b58f117a8315fcdd5fd7f3a8b7932ac7a080f1a2..22351f649b6095510099d7dc0ab98b8a8748d588 100755
(executable)
--- 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