[Dune] [#531] add a resume feature to dunecontrol

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

A new Flyspray task has been opened.  Details are below. 

User who did this - Martin Nolte (nolte) 

Attached to Project - Dune
Summary - add a resume feature to dunecontrol
Task Type - Feature Request
Category - Dune Modules
Status - New
Assigned To - 
Operating System - Unspecified / All
Severity - Low
Priority - Normal
Reported Version - SVN
Due in Version - Undecided
Due Date - Undecided
Details - Assume you have several projects in your dune directory. Now, if you run dunecontrol over all of these, it happens that one module or the other just does not work out of the box. This means that you have to rerun dunecontrol for all projects (or call it by hand for every project remaining).

In this scenario, a resume feature would be a great help. We could, for example, clone the resume semantics from the Gentoo emerge script and say

dunecontrol --resume
resume the last run, completely rebuilding the module that failed

dunecontrol --resume --skipfirst
resume the last run, skipping the module that failed

More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=531

You are receiving this message because you have requested it from the Flyspray bugtracking system.  If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.