Bug 218602 - make delete-old(-files) fails to remove 4 info files from /usr/share/info
Summary: make delete-old(-files) fails to remove 4 info files from /usr/share/info
Status: Closed FIXED
Alias: None
Product: Base System
Classification: Unclassified
Component: gnu (show other bugs)
Version: 11.0-STABLE
Hardware: Any Any
: --- Affects Only Me
Assignee: freebsd-bugs (Nobody)
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-04-12 16:54 UTC by Trond Endrestøl
Modified: 2017-11-22 03:12 UTC (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Trond Endrestøl 2017-04-12 16:54:39 UTC 
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.
Comment 1 Ed Maste freebsd_committer freebsd_triage 2017-11-22 03:12:34 UTC 
These were merged to stable/11 in r318247 and are removed in 11.1-RELEASE.