diff --git a/services/toil-worker.sh b/services/toil-worker.sh index aa1daddaf6..3015c941e5 100755 --- a/services/toil-worker.sh +++ b/services/toil-worker.sh @@ -170,6 +170,9 @@ EOF run-tasks() { ### Run the tasks on stdin and write _tmp/toil/INDEX.tsv. + # So we can always run benchmarks/time_.py. TODO: Use Ninja for deps. + build/dev.sh time-helper + local out_dir=_tmp/toil mkdir -p $out_dir