On 10/01/2017 05:43, Ralf Ramsauer wrote:
Gentoo stores most of the basic stuff in /bin and not /usr/bin. Default values do not work for Gentoo. Add 'gentoo' as a new variation.Signed-off-by: Ralf Ramsauer <ralf.ramsa...@oth-regensburg.de>
Pushed. Thank you. Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
