On Thu, Aug 6, 2020 at 10:50 AM Stephen Smalley <stephen.smalley.work@xxxxxxxxx> wrote: > > We need to install the include files before we try to build the source. > Otherwise, make DESTDIR=~/obj install can fail if there are older > headers under /usr/include. > > Signed-off-by: Stephen Smalley <stephen.smalley.work@xxxxxxxxx> Applied.