On Wed, Jun 19, 2013 at 8:30 PM, Boris Samorodov <[email protected]> wrote:
> 19.06.2013 15:18, René Ladan пишет:
>
>> right now we have three Linux DRI ports around:
>> - graphics/linux-dri74 (Ubuntu 9.09)
>> - graphics/linux_dri (unknown, PORTVERSION 7.0)
>> - graphics/linux-f10-dri
>>
>> Currently graphics/linux-dri74 is the default.  I plan to modify
>> bsd.linux-apps.mk and bsd.port.mk to change this to linux-f10-dri, after
>> which the other two ports can be removed.
>>
>> See the attached patch (INDEX build is fine, no runtime testing done yet).
>
> No objection from me.
> Thanks!

LGTM

-- 
Eitan Adler
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-emulation
To unsubscribe, send any mail to "[email protected]"

Reply via email to