[Monodevelop-patches-list] r626 - trunk/MonoDevelop

[commit-watcher at mono-cvs.ximian.com]

Author: benm
Date: 2004-01-24 13:14:00 -0500 (Sat, 24 Jan 2004)
New Revision: 626

Modified:
   trunk/MonoDevelop/Makefile
   trunk/MonoDevelop/monodevelop
Log:
Add inline to profile, and allow profiling of the pad; add script from Galeon for moz finding

Modified: trunk/MonoDevelop/Makefile
===================================================================
--- trunk/MonoDevelop/Makefile	2004-01-24 07:44:45 UTC (rev 625)
+++ trunk/MonoDevelop/Makefile	2004-01-24 18:14:00 UTC (rev 626)
@@ -66,5 +66,8 @@
 runpad: $(MONOPAD)
 	cd build/bin && mono MonoPad.exe
 
-run-profile:
-	cd build/bin && mono --profile SharpDevelop.exe
+run-profile: $(PROGRAM)
+	cd build/bin && mono -O=inline --profile SharpDevelop.exe
+
+profile-pad: $(MONOPAD)
+	cd build/bin && mono -O=inline --profile MonoPad.exe

Modified: trunk/MonoDevelop/monodevelop
===================================================================
--- trunk/MonoDevelop/monodevelop	2004-01-24 07:44:45 UTC (rev 625)
+++ trunk/MonoDevelop/monodevelop	2004-01-24 18:14:00 UTC (rev 626)
@@ -1,12 +1,22 @@
 #!/bin/bash
 
 if test -n "$MOZILLA_FIVE_HOME"; then
-        MOZILLA_HOME=$MOZILLA_FIVE_HOME
+	MOZILLA_HOME=$MOZILLA_FIVE_HOME
+elif [ -f /usr/lib/mozilla-1.5/chrome/comm.jar ]; then
+	MOZILLA_HOME=/usr/lib/mozilla-1.5
+elif [ -f /usr/local/mozilla/chrome/comm.jar ]; then
+	MOZILLA_HOME=/usr/local/mozilla
 elif [ -f /usr/lib/mozilla/chrome/comm.jar ]; then
-        MOZILLA_HOME=/usr/lib/mozilla
+	MOZILLA_HOME=/usr/lib/mozilla
+elif [ -f /opt/mozilla/chrome/comm.jar ]; then
+	MOZILLA_HOME=/opt/mozilla
+elif [ -f /usr/lib/mozilla-0.9.7/chrome/comm.jar ]; then
+	MOZILLA_HOME=/usr/lib/mozilla-0.9.7/
+elif [ -f /opt/gnome/lib/mozilla/chrome/comm.jar ]; then
+        MOZILLA_HOME=/opt/gnome/lib/mozilla/
 else
-        echo "Cannot find mozilla installation directory. Please set MOZILLA_FIVE_HOME to your mozilla directory"
-        exit
+	echo "Cannot find mozilla installation directory. Please set MOZILLA_FIVE_HOME to your mozilla directory"
+	exit 1
 fi
  
 LD_LIBRARY_PATH=$MOZILLA_HOME:$LD_LIBRARY_PATH