5 Dec
2013
5 Dec
'13
9:17 a.m.
On Thu, Dec 05, 2013 at 03:03:42PM +0100, Herbert Valerio Riedel wrote:
However, if the testsuite/ was already checked out before the 'sync-all pull', the 'testsuite/.git' folder won't be removed automatically (and it shouldn't hurt either, as 'sync-all' won't traverse it anymore after ghc.git was updated)
But git commands under testsuite/ will use the wrong .git, won't they? Thanks Ian