[Dune] [Dune-Commit] dune-common r5537 - trunk/bin

[Sven Marnach]

Hi Christian,

christi at dune-project.org schrieb am Di, 09. Jun 2009, um 22:55:49 +0200:
> save RESUME file in home directory

for me, this breaks things, because I have multiple DUNE trees
(different versions) and they now all use the same resume file.  I
often compile multiple trees in parallel and I would like to be able
to resume either of them when things fail.

Before this patch, the resume feature worked fine.  What is the
rationale for this patch?

Cheers,
    Sven