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:
authorMichael Hutchinson <mhutchinson@novell.com>2007-09-17 21:32:33 +0400
committerMichael Hutchinson <mhutchinson@novell.com>2007-09-17 21:32:33 +0400
commitbc71a1c08c013f41c64c6bfb589baf53e97a2038 (patch)
treecbbc3ef2260e4cbe735340ee7de4fe34f987eb01 /configure.in
parent101a8acd74a9fc7c8c6fb10935550aa1f4009e5a (diff)
Try yet another detection method for Mozilla on SuSE
svn path=/trunk/monodevelop/; revision=85915
Diffstat (limited to 'configure.in')
-rw-r--r--configure.in8
1 files changed, 6 insertions, 2 deletions
diff --git a/configure.in b/configure.in
index c574f4a34a..b613c22211 100644
--- a/configure.in
+++ b/configure.in
@@ -328,8 +328,12 @@ if !(test -n "$MOZILLA_HOME"); then
MOZILLA_HOME=$MOZILLA_FIVE_HOME
elif grep GRE_PATH /etc/gre.d/*.conf > /dev/null 2>&1 ; then
MOZILLA_HOME=$(grep -h GRE_PATH= /etc/gre.d/*.conf | cut -d '"' -f 2 -d = | head -n 1) #"
- elif test -n "$mozilla_script" && grep "MOZILLA_FIVE_HOME=" $mozilla_script > /dev/null ; then
- MOZILLA_HOME=$(grep "MOZILLA_FIVE_HOME=" $mozilla_script | cut -d '"' -f 2 | cut -d '=' -f 2)
+ elif test -n "$mozilla_script" ; then
+ if grep "MOZ_DIST_LIB=" $mozilla_script > /dev/null; then
+ MOZILLA_HOME=$(grep "MOZ_DIST_LIB=" $mozilla_script | cut -d '"' -f 2 | cut -d '=' -f 2)
+ elif grep "MOZILLA_FIVE_HOME=" $mozilla_script > /dev/null ; then
+ MOZILLA_HOME=$(grep "MOZILLA_FIVE_HOME=" $mozilla_script | cut -d '"' -f 2 | cut -d '=' -f 2)
+ fi
elif test -n "$firefox_script" ; then
if grep "MOZ_DIST_LIB=" $firefox_script > /dev/null; then
MOZILLA_HOME=$(grep "MOZ_DIST_LIB=" $firefox_script | cut -d '"' -f 2 | cut -d '=' -f 2)