Re: [XBoard-devel] config.h problem

[h.g. muller]

Couldn't you simply rename config.h during the compile,
and then rename it back afterwards.

Or have the make process stop with a warning when it
detects a ../config.h which will surely break the building,
so the user can do whatever he thinks is best (remove
or rename) and try again.

Normally this would never happen, but if it does happen,
we are dealing with such an exceptional user that it will
be risky to decide for him.