Giters

ocsigen / html_of_wiki

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

"Parallelize" dop

leovalais opened this issue · comments

commented

Add an option -p meaning:

  • -p n, n > 0 => run at most n compilation processes simultaneously
  • -p 0 => as much as possible

Speeding up the compilation of a project version would be nice :)