Date: Wed, 12 Apr 2017 16:54:39 +0000 From: bugzilla-noreply@freebsd.org To: freebsd-bugs@FreeBSD.org Subject: [Bug 218602] make delete-old(-files) fails to remove 4 info files from /usr/share/info Message-ID: <bug-218602-8@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D218602 Bug ID: 218602 Summary: make delete-old(-files) fails to remove 4 info files from /usr/share/info Product: Base System Version: 11.0-STABLE Hardware: Any OS: Any Status: New Severity: Affects Only Me Priority: --- Component: gnu Assignee: freebsd-bugs@FreeBSD.org Reporter: Trond.Endrestol@ximalas.info While upgrading one of my systems from 10.3-STABLE to 11.0-STABLE (r316731), make delete-old failed to remove these 4 info files, thus complaining about /usr/share/info not being empty: -r--r--r-- 1 root wheel 68377 Feb 27 14:56 /usr/share/info/cpp.info.gz -r--r--r-- 1 root wheel 17099 Feb 27 14:56 /usr/share/info/cppinternals.info.gz -r--r--r-- 1 root wheel 368192 Feb 27 14:56 /usr/share/info/gcc.info.gz -r--r--r-- 1 root wheel 421729 Feb 27 14:56 /usr/share/info/gccint.info.= gz These files should probably be removed iff WITH_GCC is not set. --=20 You are receiving this mail because: You are the assignee for the bug.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-218602-8>