https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108103
Bug ID: 108103
Summary: c++tools remains after make distclean
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: segher at gcc dot gnu.org
Target Milestone: ---
$ ll c++tools/
total 3688
-rw-rw-r-- 1 segher segher 4840 Nov 25 19:46 Makefile
-rw-rw-r-- 1 segher segher 4998 Oct 21 03:51 config.cache
-rw-rw-r-- 1 segher segher 2168 Oct 21 03:51 config.h
-rw-rw-r-- 1 segher segher 62826 Nov 25 19:46 config.log
-rwxrwxr-x 1 segher segher 33722 Oct 21 03:51 config.status
-rwxrwxr-x 1 segher segher 2537088 Oct 21 03:51 g++-mapper-server
-rw-rw-r-- 1 segher segher 1319 Oct 21 03:51 resolver.d
-rw-rw-r-- 1 segher segher 601080 Oct 21 03:51 resolver.o
-rw-rw-r-- 1 segher segher 2020 Oct 21 03:51 server.d
-rw-rw-r-- 1 segher segher 524168 Oct 21 03:51 server.o
