[syslinux] [PATCH 0/4] efi: Makefile improvement

[Patrick Masotta]

>>>
 These few patches contain a few improvement about the
 Makefiles for EFI. Mainly, to rebuild the files when needed, and only when
 needed. The three shell scripts efi/{check,build,clean}-gnu-efi.sh disappeared and
 are now integrated as makefile recipes.
<<<
 
What's the default strategy for checking out new gnu-efi sources?
We should have a way to set the version we want to work with
and only update when we want to do so.



A comment on the side about Makefile improvements:
I've noticed that for some reason
#make spotless
does not clean up the /gpxe directory.
I didn't have time to fix this but probably for you is just a trivial change;
please consider this issue if you have a minute.

Thanks,
Patrick