[patch] corrected version of the above

gcc-config_bug_125728.patch (text/plain), 508 bytes, created by Michal Janke on 2008-08-28 21:58:57 UTC

--- /usr/bin/gcc-config.orig	2008-08-20 11:19:46.000000000 +0200
+++ /usr/bin/gcc-config	2008-08-20 11:54:44.000000000 +0200
@@ -380,6 +380,15 @@ switch_profile() {
 		ewarn "  # source /etc/profile"
 		echo
 	fi
+	
+	# Workaround for bug #125728
+	if [ -f ${LDPATH}/libgcj.la ] ; then
+		ln -sf ${LDPATH}/libgcj.la /usr/lib/libgcj.la
+	fi
+
+	if [ -f ${LDPATH}/lib-gnu-java-awt-peer-gtk.la ] ; then
+		ln -sf ${LDPATH}/lib-gnu-java-awt-peer-gtk.la /usr/lib/lib-gnu-java-awt-peer-gtk.la
+	fi
 
 	return 0
 }