Re: RFC: docker for CI

[Dan Eble]

On Feb 7, 2020, at 07:21, Han-Wen Nienhuys <address@hidden> wrote:
> 
>  * runs (make ; make test-baseline)

If this says "(make ;" because you think that "make test-baseline" requires a 
prior make, I think it is incorrect.  (If "make test-baseline" doesn't work on 
its own, it should be fixed.)

If this says "(make ;" because you want to build everything else that "make 
test-baseline" might not build, then it's fine, though maybe it should be "make 
&& make test-baseline" or two separate steps, depending on how errors are 
detected and reported.
— 
Dan