Re: [PATCH] perf-tests: #!/bin/bash -> #!/usr/bin/env bash

2019-06-02 Thread Tomi Ollila
On Fri, May 31 2019, William Casarin wrote: > I couldn't run the performance tests on my machines due to a hardcoded > bash path. Use env for finding bash in weird systems like NixOS. Not so weird -- probably most non-Linux OS's that have bash, have bash somewhere else than in /bin/. LGTM.

Re: [PATCH] doc: use separate doctrees for distinct builders

2019-06-02 Thread Tomi Ollila
On Fri, May 31 2019, David Bremner wrote: > It seems our previous attempt with order-only targets was not > sufficient to avoid problems with sphinx-builds doctree cache [0]. > Looking around at other people's approaches [1], using seperate probably good, but you may want to s/seperate/separate/