While exploring the *.cmdline files created by the build (thank you, those
are very helpful!) I noticed that they all contain

 -DTHIS_FILE='""'

Probably there should be an actual file name there.

Reply via email to