mono-develop: fixed to not run gtk-update-icon-cache avoiding shared files

develop/mono-develop/mono-develop-2.4.2-no-update-icon-cache.patch

@@ -0,0 +1,41 @@
+# --- SDE-COPYRIGHT-NOTE-BEGIN ---
+# This copyright note is auto-generated by ./scripts/Create-CopyPatch.
+#
+# Filename: package/.../mono-develop/mono-develop-2.4.2-no-update-icon-cache.patch
+# Copyright (C) 2011 The OpenSDE Project
+#
+# More information can be found in the files COPYING and README.
+#
+# This patch file is dual-licensed. It is available under the license the
+# patched project is licensed under, as long as it is an OpenSource license
+# as defined at http://www.opensource.org/ (e.g. BSD, X11) or under the terms
+# of the GNU General Public License as published by the Free Software
+# Foundation; either version 2 of the License, or (at your option) any later
+# version.
+# --- SDE-COPYRIGHT-NOTE-END ---
+
+--- monodevelop-2.4.2/theme-icons/icon-theme-installer.orig	2011-05-23 11:35:34.824003157 +0200
++++ monodevelop-2.4.2/theme-icons/icon-theme-installer	2011-05-23 11:40:38.436002471 +0200
+@@ -164,16 +164,12 @@
+ 	gtk_update_icon_cache_bin="$((which gtk-update-icon-cache || echo /opt/gnome/bin/gtk-update-icon-cache)2>/dev/null)"
+ 	gtk_update_icon_cache="$gtk_update_icon_cache_bin -f -t $INSTALL_BASE_DIR"
+ 
+-	if test -z "$INSTALL_DEST_DIR"; then 
+-		if test -x $gtk_update_icon_cache_bin; then 
+-			echo "Updating GTK icon cache"
+-			$gtk_update_icon_cache
+-		else
+-			echo "*** Icon cache not updated. Could not execute $gtk_update_icon_cache_bin"
+-		fi
+-	else
+-		echo "*** Icon cache not updated. After install, run this:"
+-		echo "***   $gtk_update_icon_cache"
++	if test -x $gtk_update_icon_cache_bin; then 
++		gtk_update_icon_cache_bin="gtk-update-icon-cache"
++		echo "*** Could not find $gtk_update_icon_cache_bin"
+ 	fi
++
++	echo "*** Icon cache not updated. After install, run this:"
++	echo "***   $gtk_update_icon_cache"
+ fi
+