P.S.: Bug #12743 (https://bugzilla.ipfire.org/show_bug.cgi?id=12743) has been raised for this.

Should anybody have spare time to work on it, please feel free to do so. :-)

> Hello Adolf,
> 
> thanks for your reply.
> 
>> How should we deal with the situation where a source file filename happens to use an architecture name the same as an IPFire name.
> 
> I also think this is a false positive, though it surprises me we never came across this
> scenario all the years before. Either way, make.sh (or whatever's doing this check) needs
> to be updated to ignore such cases.
> 
> I'll file a bug for this later...
> 
> Thanks, and best regards,
> Peter Müller
>