Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGeoff Norton <grompf@sublimeintervention.com>2008-01-31 02:25:56 +0300
committerGeoff Norton <grompf@sublimeintervention.com>2008-01-31 02:25:56 +0300
commit3a6ce6ab196d5e60608a45c318446a40a4ed5397 (patch)
tree4bb866c4fbfa6c6a330f3af24a8351be51aa6f8b /main/monodevelop.in
parent0635976d83cd449940dc894095ec796a3e9829ef (diff)
In .:
2008-01-30 Geoff Norton <gnorton@novell.com> * monodevelop.in: Work around a (broken?) behaviour in OSX 10.5 bash that caused the launcher script to hang indefinately. svn path=/trunk/monodevelop/; revision=94433
Diffstat (limited to 'main/monodevelop.in')
-rwxr-xr-xmain/monodevelop.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/main/monodevelop.in b/main/monodevelop.in
index 49df1088d8..c223cad1b6 100755
--- a/main/monodevelop.in
+++ b/main/monodevelop.in
@@ -30,6 +30,7 @@ find_libgtkembedmoz ()
mozilla_script=$(which mozilla 2> /dev/null)
firefox_script=$(which firefox 2> /dev/null)
+ if [ -z $mozilla_script ] && [ -z $firefox_script ]; then return; fi
for runtime_script in "$firefox_script $mozilla_script"; do
MOZDIR=$(grep "MOZ_DIST_LIB=" $runtime_script 2> /dev/null | cut -d '"' -f 2 | cut -d '=' -f 2)
if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi