Re: [PATCH] gcov: rename 2 options.

2020-07-07 Thread Martin Liška
On 7/4/20 9:12 PM, Fangrui Song wrote: Good idea! I've done that and made an alias for -i -> -j option. I'm going to push it to master. Martin -- next part -- A non-text attachment was scrubbed... Name: 0001-gcov-rename-2-options.patch Type: text/x-patch Size: 5457 bytes

Re: [PATCH] gcov: rename 2 options.

2020-07-04 Thread Fangrui Song
On 2020-07-04, Fangrui Song wrote: Good idea! I've done that and made an alias for -i -> -j option. I'm going to push it to master. Martin -- next part -- A non-text attachment was scrubbed... Name: 0001-gcov-rename-2-options.patch Type: text/x-patch Size: 5457 bytes Desc

Re: [PATCH] gcov: rename 2 options.

2020-07-04 Thread Fangrui Song
> Good idea! I've done that and made an alias for -i -> -j option. > I'm going to push it to master. > > Martin > -- next part -- > A non-text attachment was scrubbed... > Name: 0001-gcov-rename-2-options.patch > Type: text/x-patch > Size: 5457 bytes > Desc: not available >

Re: [PATCH] gcov: rename 2 options.

2020-07-01 Thread Martin Liška
On 7/1/20 9:49 AM, Richard Biener wrote: Please keep the old options as aliases, documented as obsoleted in --help. Good idea! I've done that and made an alias for -i -> -j option. I'm going to push it to master. Martin >From f0564852b5acbc2fcde604308e61109f22815ac1 Mon Sep 17 00:00:00 2001 Fr

Re: [PATCH] gcov: rename 2 options.

2020-07-01 Thread Richard Biener via Gcc-patches
On Wed, Jul 1, 2020 at 9:12 AM Martin Liška wrote: > > Hey. > > Even thought an option renaming is a problematic change, I still believe > the option names were selected poorly and this patch is attempt to improve it. > > Thoughts? Please keep the old options as aliases, documented as obsoleted i