On 01/06/2017 05:45 PM, Ralf Jung wrote:
> I only today learned about "make -k" from your changes, that will be
> very useful indeed and may already be enough -- it will tell me which
> other files need fixing.

Yesh, that's what I was going to suggest from your post :) It's the default if 
you run make from emacs (M-x compile)

Attachment: signature.asc
Description: OpenPGP digital signature

ProofGeneral-devel mailing list

Reply via email to