From: Pádraig Brady
Date: Tue, 19 Jul 2011 16:22:49 +0000 (+0100) Subject: getopt-gnu: suppress core dumps from detection code X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a2eb92ef60dd05e9423948534ab483f7ffeb0647;p=pspp getopt-gnu: suppress core dumps from detection code * m4/getopt.m4 (gl_GETOPT_CHECK_HEADERS): Use the nocrash module to suppress core dumps that may well occur on glibc systems. These core dumps might not be cleaned up automatically, or could trigger some system core dump handling logic. * modules/getopt-gnu: Depend on nocrash. Signed-off-by: Pádraig Brady
--- diff --git a/ChangeLog b/ChangeLog index a521e9b2bd..e72af4c8c5 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2011-07-19 Pádraig Brady
+
+ getopt-gnu: suppress core dumps from detection code
+ * m4/getopt.m4 (gl_GETOPT_CHECK_HEADERS): Use the nocrash module
+ to suppress core dumps that may well occur on glibc systems.
+ * modules/getopt-gnu: Depend on nocrash.
+
2011-07-16 Paul Eggert