[Gnu-efi-discuss] [PATCH] Make: make TOPDIR actually work and get rid of unused CDIR

[Richard H. <hug...@gm...>]

Original patch is by Peter Jones, lightly modified by me to apply to master.

Richard.