> Make itself has a race-condition (bug) built into its design Could you elucidate? I’m very comfortable with Make, and I can’t think what you might be referri

> Make itself has a race-condition (bug) built into its design Could you elucidate? I’m very comfortable with Make, and I can’t think what you might be referring to, unless you mean the way it uses mtimes for freshness, which isn’t a bug for any correct Make script. (And for incorrect Make scripts, there are vastly easier ways of making it do the wrong thing than ones driven by mtime coarseness.)