On Thu, Apr 16, 2015 at 9:23 PM Facundo Batista wrote:

On Thu, Apr 16, 2015 at 6:34 PM, R. David Murray wrote:

...

Most likely you just need to run 'make touch' so that it doesn't try to rebuild stuff it doesn't need to (because we check in those particular build artifacts, like the frozen importlib).

"make touch" didn't fix it, but when doing that I noticed this message:

Modules/Setup.dist is newer than Modules/Setup; check to make sure you have all the updates you need in your Modules/Setup file. Usually, copying Modules/Setup.dist to Modules/Setup will work.

I copied that file, and then make touch, and then the "make" finished OK!!!

Should we update the developer guide with these instructions, or all this is unlikely to happen?

It happens on occasion. It definitely wouldn't hurt to add a little note to the UNIX build section of the devguide that this happens on occasion and so to look for it when running configure or make (it's always printed first so it's easy to spot).