Re: emit_upload_commands target doesn't work for savannah.nongnu.org

[Jim Meyering]

Peter Simons wrote:
> yes, that change would solve my problem. Thank you very much.

Ok.  Pushed.