mirror of
https://github.com/mirror/make.git
synced 2025-02-02 15:50:37 +08:00
2da3bb46f2
On Windows we can't delete open files, so close STDIN before removing the temporary input file. |
||
---|---|---|
.. | ||
features | ||
functions | ||
misc | ||
options | ||
targets | ||
variables | ||
vms | ||
test_template |