[GHC] #9899: HEAD: make clean fails to delete libraries/bootstrapping.conf (directory)

[GHC]

#9899: HEAD: make clean fails to delete libraries/bootstrapping.conf (directory)
-------------------------------------+-------------------------------------
        Reporter:  heisenbug         |                   Owner:
            Type:  bug               |                  Status:  closed
        Priority:  normal            |               Milestone:  7.12.1
       Component:  Build System      |                 Version:  7.9
      Resolution:  duplicate         |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:  #9651             |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------
Changes (by thomie):

 * status:  new => closed
 * resolution:   => duplicate
 * related:   => #9651


Comment:

 This looks like a duplicate of #9651, which was fixed in commit
 0899caab400e7a095528ea769a7e93a33717ae72:
 {{{
 Author: Edward Z. Yang <>
 Date:   Sat Dec 27 10:57:30 2014 -0500

     Use directory-style database for bootstrapping database

     Summary:
     This allows GHC HEAD to be bootstrapped using 7.10.

     Signed-off-by: Edward Z. Yang <>

     Test Plan: validate

     Reviewers: austin

     Subscribers: carter, thomie

     Differential Revision: https://phabricator.haskell.org/D589

     GHC Trac Issues: #9652
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9899#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler