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.020504 seconds and 4 git commands to generate.
Lady’s Gitweb / Shushe / commitdiff