mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2025-02-22 09:40:56 +00:00
Reported-by: Rafael C <groups.r2@gmail.com> Reported-by: Jérôme BARDON <bardon.pro@gmail.com> Reported-by: Daniel Price <daniel.price@gmail.com> [yann.morin.1998@free.fr: use a conditional approach, also suggested by Daniel] Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>