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

[Peter Simons]

Hi Jim,

yes, that change would solve my problem. Thank you very much.

Take care,
Peter