2017-04-23 4:21 GMT+09:00 Bram Moolenaar <[email protected]>: > > Kazunobu Kuriyama wrote: > > > As of 8.0.0570, 'make shadow' cannot run properly for a fresh source tree > > or after 'make distclean' is done. > > > > This is because MKDIR_P has been set only through auto/config.mk since > > 8.0.0570. As a result, for a fresh source tree or after 'make disclean' > is > > done, MKDIR_P remains undefined. > > > > The proposed patch restores the default 'MKDIR = mkdir -p', but places it > > before 'include auto/config.mk'. That way the patch fixes the issue as > > well as allowing the script-detected thread-safe mkdir to overwrite the > > default. > > I believe this is obsolete, now that MKDIR_P is defined in Makefile. > Let me know if there is a remaining problem. >
Yes, that's already obsolete, and I confirm that Patch 8.0.0576 fixes the issue of this thread as well as that of the Patch 8.0.0.570 thread. I don't have any further issue with it. Hmm, it looks that my previous email arrived at you with some delay. I sent it to you hours after I sent another patch to the Patch 5.0.0570 thread but hours before you sent out Patch 8.0.0576. I thought you skillfully addressed the two issues all at once with a single patch of that breath-taking neat solution and implicitly closed this issue as a matter of course :) Kazunobu > > -- > The early bird gets the worm. If you want something else for > breakfast, get up later. > > /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net > \\\ > /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ > \\\ > \\\ an exciting new programming language -- http://www.Zimbu.org > /// > \\\ help me help AIDS victims -- http://ICCF-Holland.org > /// > -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
