Makefile, bin/chroot-maint: Keep `/usr/local/include' mostly empty.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 9 May 2020 16:00:19 +0000 (17:00 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 9 May 2020 16:00:23 +0000 (17:00 +0100)
commit942fed180961536fa966bfd4db28ee0537755932
tree3f67a6d36ac488199a8e9bf00d0ded76e784ed97
parent704c25a19945717f81ec0d9eb601c59edae26686
Makefile, bin/chroot-maint: Keep `/usr/local/include' mostly empty.

Oh, this is annoying.  GCC prefers `/usr/local/include/...' over
`/usr/include', so old versions of header files, e.g., from local
package builds, take precedence over system versions of the same headers
installed through APT, which obviously breaks `sbuild' builds.

Fix this by introducing a new `/usr/local/include.aside' directory where
headers actually live, and bind-mounting this into `/usr/local/include'
when we're actually trying to build a local package.
Makefile
bin/chroot-maint