------- Comment #2 from pinskia at gcc dot gnu dot org 2006-02-16 16:17 ------- Also I should point out this is not documented in the user manual because well users should not be deleting directories. It is documented in the internals manual, maybe not as big as it should be but it is there.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26323
