[patch] eselect-opengl.patch (easy workaround)

eselect-opengl.patch (text/plain), 478 bytes, created by Bernd Steinhauser on 2007-11-19 06:17:01 UTC

--- opengl.eselect.old	2007-10-24 23:55:46.000000000 +0200
+++ opengl.eselect	2007-10-24 23:57:07.000000000 +0200
@@ -79,7 +79,7 @@
 		# Note that we don't do .so*, just .so on purpose.  The
 		# loader knows to look in the profile dir, and the
 		# linked just needs the .so
-		for file in ${profile_libdir}/libGL{,core}.{so,a,la}; do
+		for file in ${profile_libdir}/libGL{,core}.{{so,so.*},a,la}; do
 			if [[ ${ROOT} != / ]] ; then
 				rootfile="${file//${ROOT}}"
 			else