One would hope that Make wouldn’t ever delete the make·file it is
running, but the documentation doesn’t seem to explicitly give that
guarantee, so it’s good to be explicit about it.
No differences found
This page took 0.021571 seconds and 4 git commands to generate.
Lady’s Gitweb / Shushe / commitdiff