I would consider renaming type-compile-error
to type-build
in order to encompass all build related errors: configure not functioning as intended, makefile bugs, problems with build related tools (freeze, etc.), and of course compilation errors.
3 Likes