5 Dec
2013
5 Dec
'13
9:03 a.m.
On 2013-12-05 at 12:31:40 +0100, Simon Peyton-Jones wrote:
What (if anything) do we need to do when updating existing local repos. Will everything be ok if I just do sync-all pull
...assuming there's no important uncommitted data left in testsuite/ (and ideally nowhere else in the source-tree), it *should* suffice to just './sync-all pull' as this operation *should* overwrite any testsuite/* files laying around (at least that's what I've observed so far in my tests) 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) Cheers, hvr