[patch] This would make gcc-config relink libgcj.la, when choosing gcc profile.

gcc-config_libgcj_la.patch (text/plain), 358 bytes, created by Michal Janke on 2008-08-20 09:47:09 UTC

--- /usr/bin/gcc-config.orig	2008-08-20 11:19:46.000000000 +0200
+++ /usr/bin/gcc-config	2008-08-20 11:23:24.000000000 +0200
@@ -380,6 +380,11 @@ 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
 
 	return 0
 }