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