bug#58008: [PATCH] gnu: linux: Fix the extra-version parameter in make-linux-libre*.

[Stefan]

Hi Leo!

I’m addressing you directly because of the entry in etc/teams.scm.

I found and fixed a bug in make-linux-libre*. The split of the phase 'configure 
into a separate 'set-environment will be used by another patch. 

Actually this is part of a patch series in 48314. But it is an independent fix, 
which can reduce the size of that other ticket.

If this patch is accepted, I may send another part of that patch series 
separately.


Bye

Stefan

01-gnu-linux-fix-extra-version.patch
Description: Binary data