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.
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/