5 Dec
2013
5 Dec
'13
9:22 a.m.
On 2013-12-05 at 15:17:53 +0100, Ian Lynagh wrote:
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?
good point, didn't think of that :-/ So I guess 'sync-all' should be tweaked to either delete the .git/ folder or warn the user to remove it;