>>> "Patrick" == Patrick Guio <[EMAIL PROTECTED]> writes: [...] Patrick> core files generated are called after process id with Patrick> the syntax core.$pid [...] Patrick> That might be nice to remove those as well? [...]
Thanks for the suggestion. What do people thinks about Automake's removal of core dumps? I tend to think it's a misfeature. For one thing, this doesn't match the documentation. Quizz: which of the following targets do you think Automake is using to clear `core' files? | * If `make' built it, and it is commonly something that one would | want to rebuild (for instance, a `.o' file), then `mostlyclean' | should delete it. | | * Otherwise, if `make' built it, then `clean' should delete it. | | * If `configure' built it, then `distclean' should delete it | | * If the maintainer built it, then `maintainer-clean' should delete | it. Nhgbznxr pyrnaf pber svyrf qhevat va gur zbfgylpyrna gnetrg. Furthermore, if any core file is dumped during `make distcheck', then it's obviously a bug in the package and we should not hide it. What happens presently is that `distclean' will remove the core, so we'll not notice it when checking for spurious files in the build tree. Although the build will probably go wrong anyway, I'm not a supporter of things that may conceal bugs. -- Alexandre Duret-Lutz