Hi Igno, > If "make dist" isn't run before commit (or the result ignored, or run > in a way that is ineffective for finding problems), what makes you > think that "make distcheck" would be used well if it existed?
Well, quite right. Hopefully, the few committers will learn to adopt that habit, perhaps through their own commit script which does a bunch of checks before the actual commit, e.g. not adding end-of-line spaces. Cheers, Ralph.
