https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=218602
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: [email protected]
Reporter: [email protected]
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.
--
You are receiving this mail because:
You are the assignee for the bug.
_______________________________________________
[email protected] mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-bugs
To unsubscribe, send any mail to "[email protected]"
