Skip to content
GitLab

No unskip before rebuild

Merged Matthieu Schaller requested to merge no_unskip_before_rebuild into master

Two improvements:

  • Do not unskip tasks if the rebuild flag is already up.
  • Correct the timing messages in makestask().