[m-rev.] Upgrading Boehm GC, the git way.
paul at bone.id.au
Tue Oct 21 09:44:32 AEDT 2014
On Mon, Oct 20, 2014 at 08:09:47PM +0800, Sebastian Godelet wrote:
> In case I understood the problem correctly,
> did you consider git sub-modules, e.g. as used in
> such that the mercury repository would just link in a fork of the Boehm gc,
> that way there is no pollution of the history I suppose
This looks good, I'll test it and see if it works as advertised.
More information about the reviews