Is there any reason not to make the compile script accommodate (in a race-free manner) situations like the one described in http://debbugs.gnu.org/8616 ?
Is there any reason not to make the compile script accommodate (in a race-free manner) situations like the one described in http://debbugs.gnu.org/8616 ?