Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 125728 | Differences between
and this patch

Collapse All | Expand All

(-)/usr/bin/gcc-config.orig (+5 lines)
Lines 380-385 switch_profile() { Link Here
380 
		ewarn "  # source /etc/profile"
 380 
		ewarn "  # source /etc/profile"
381 
		echo
 381 
		echo
382 
	fi
 382 
	fi
383
384 
	# Workaround for bug #125728
385 
	if [[ -f ${LDPATH}/libgcj.la ]] ; then
386 
		ln -sf ${LDPATH}/libgcj.la /usr/lib/libgcj.la
387 
	fi
383 

          388
          

        

        

          384
          
	return 0

          389
          
	return 0

        

        

          385
          
}

          390
          
}

        






  

  Return to bug 125728