[Buildroot] [PATCH] toolchain: generate check-headers program under $(BUILD_DIR)

[Thomas Petazzoni]

On Mon, 23 Sep 2019 14:04:48 +0200
<yann.morin at orange.com> wrote:

> I don't know what distro mounts /tmp as a tmpfs by default. It is
> certainly not the case on my Ubuntu, or on Debian when I last installed
> one...

$ mount | grep "/tmp"
tmpfs on /tmp type tmpfs (rw,nosuid,nodev)

Regular Fedora 30 installation.

Thomas
-- 
Thomas Petazzoni, CTO, Bootlin
Embedded Linux and Kernel engineering
https://bootlin.com