MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-13 15:52:01 +07:00
Code Issues Packages Projects Releases Wiki Activity

Quotes fixed in update.sh

Browse Source
This commit is contained in:
Roman Shevchenko
2011-05-12 18:51:54 +04:00
parent 29017ad5ec
commit fad296984a
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
build/update.sh
View File

@@ -11,12 +11,12 @@
#
if [ -z "$WORK_IDEA_HOME" ]; then
echo WORK_IDEA_HOME must be defined and point to build you're updating
echo "WORK_IDEA_HOME must be defined and point to build you're updating."
exit
fi
if [ -z "$DEV_IDEA_HOME" ]; then
echo DEV_IDEA_HOME must be defined and point to source base your're updating from
echo "DEV_IDEA_HOME must be defined and point to source base your're updating from."
exit
fi