[Bug 218602] make delete-old(-files) fails to remove 4 info files from /usr/share/info

[bugzilla-noreply at freebsd.org]

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: freebsd-bugs at FreeBSD.org
          Reporter: Trond.Endrestol at 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.

-- 
You are receiving this mail because:
You are the assignee for the bug.