Missing tcb_layout.h

[bkfox]

After following each step:

    make BUILDDIR=$dir
    cd $dir
    make menuconfig
    make

Compiler returns error 2:
    ===> Generating include/tcb_layout.h
    x86_64-unknown-linux-gnu-cpp: erreur fatale: pas de fichier à l'entrée
    compilation terminée.
    x86_64-unknown-linux-gnu-cpp: erreur fatale: pas de fichier à l'entrée
    compilation terminée.
    x86_64-unknown-linux-gnu-cpp: erreur fatale: pas de fichier à l'entrée
    compilation terminée.
    x86_64-unknown-linux-gnu-cpp: erreur fatale: pas de fichier à l'entrée
    compilation terminée.
    ===>
    ===> Generating tcb_layout.h FAILED!!!

("erreur fatale: pas de fichier à l'entrée" = "fatal error: no input file")

[jkehne]

After I initially had no clue what caused this, I hit a similar error recently. The bug seems to be in the build system. tcb_layout.h should be generated during the build process, but sometimes it isn't. I still don't know what exactly caused it -- looks like some kind of dependency problem -- but deleting and recreating the build directory fixed it for me. Alternatively, executing "make tcb_layout.h" in your build directory will create the file (this also works with other header files that might be missing).

[bkfox]

does not.work here. The error still the same.

[jkehne]

Does "make tcb_layout.h" also not work for you?
Otherwise, I still cannot tell you what's causing this problem.

[bkfox]

As I just said, nop. I've just retried by re-cloning the repo and reconfiguring, does not change.
Here is my config: http://paste.debian.net/97542/