mirror of
https://github.com/mirror/make.git
synced 2026-08-31 03:38:03 +08:00
around the call to construct_command_argv, so that a temporary batch file _is_ created when needed for $(shell). Fixes Savannah bug #16362.
59 KiB
59 KiB