#1218 WIP: benchmark build system and improve performance

jzarl wants to merge 4 commits from jzarl/fsfe-website:l-benchmark into master

4 Commits

Author SHA1 Message Date
  Johannes Zarl-Zierl fe54798531 Add profiling to buildrun. 1 year ago
  Johannes Zarl-Zierl 64eec65a11 update_xmllists: use gnu parallel if available 1 year ago
  Johannes Zarl-Zierl 4f370bee08 Restructure update_xmllists for parallelism 1 year ago
  Johannes Zarl-Zierl 5081bea99c Add profiling code to update_xmllists.sh 1 year ago