ghc-pkg: don't fail, if a file is already removed
authorich@christoph-bauer.net <unknown>
Sun, 25 Jul 2010 16:26:06 +0000 (16:26 +0000)
committerich@christoph-bauer.net <unknown>
Sun, 25 Jul 2010 16:26:06 +0000 (16:26 +0000)
commit7e25751e8ba0704e23fcf6fff1c23af3ac5af696
tree0b06f6472f4f54187f3dca37dfcb35a304eee8b2
parentccc1989726c3f4b94cf18f6a13aba2b5d339d077
ghc-pkg: don't fail, if a file is already removed
utils/ghc-pkg/Main.hs