summaryrefslogtreecommitdiffstats
path: root/bin/setsid.py
AgeCommit message (Collapse)AuthorFilesLines
2015-02-18move another FIXME into TODOHolger Levsen1-1/+1
2014-10-25add a FIXME comment to use the package once its availableHolger Levsen1-1/+2
2014-10-03invoke setsid for each jobHelmut Grohne1-0/+16
This should cause each jenkins job to reside in its own session. Linux' automatic group scheduling should then cause jobs to be scheduled equally rather than processes. The expected result is that highly parallel jobs do not slow down single-cpu jobs.