diff agent/make/Makefile @ 5424:068cc464e0cf

add snapshot() call in MergeNode.removeEnd to fix concurrent modification problem
author Lukas Stadler <lukas.stadler@jku.at>
date Tue, 22 May 2012 14:57:01 +0200
parents fd65bc7c09b6
children 5a98bf7d847b
line wrap: on
line diff