Re: [PATCH] devtools: fix escaped space in grep pattern

2023-01-11 Thread Thomas Monjalon
10/01/2023 22:52, Tyler Retzlaff: > On Tue, Jan 10, 2023 at 10:33:17PM +0100, Thomas Monjalon wrote: > > Since grep 3.8, a warning is printed if a space is escaped in a pattern: > > grep: warning: stray \ before white space > > > > There was an occurence of such extra backslash in check-git-lo

Re: [PATCH] devtools: fix escaped space in grep pattern

2023-01-10 Thread Tyler Retzlaff
On Tue, Jan 10, 2023 at 10:33:17PM +0100, Thomas Monjalon wrote: > Since grep 3.8, a warning is printed if a space is escaped in a pattern: > grep: warning: stray \ before white space > > There was an occurence of such extra backslash in check-git-log.sh. > > Fixes: d448efa259e9 ("devtools:

[PATCH] devtools: fix escaped space in grep pattern

2023-01-10 Thread Thomas Monjalon
Since grep 3.8, a warning is printed if a space is escaped in a pattern: grep: warning: stray \ before white space There was an occurence of such extra backslash in check-git-log.sh. Fixes: d448efa259e9 ("devtools: export dictionary for commit title check") Cc: sta...@dpdk.org Signed-off