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.
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.