Skip to content

No unskip before rebuild

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().

Merge request reports