Delete GhcLibProfiled
authorsimonpj@microsoft.com <unknown>
Fri, 13 Aug 2010 14:01:52 +0000 (14:01 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 13 Aug 2010 14:01:52 +0000 (14:01 +0000)
commit1caf694c7d5ea3699cfb988b25f0c850cedcd3e4
tree1320a7d3cf1a735a76228b35d7e8966ab79f75fa
parentc9020b2b6b0bee7ebe6f7bb0ba1b93680b0922c5
Delete GhcLibProfiled

Simon M and I looked at this, and we think GhcLibProfiled is
(a) not needed (b) confusing.

Ian should review.

Really, if GhcProfiled is on we should also
check that 'p' is in the GhcLibWays
compiler/ghc.mk
mk/config.mk.in