Re: [dpdk-dev] [PATCH v2] devtools: fix symbol check for filename with space

2018-07-20 Thread Thomas Monjalon
19/07/2018 17:37, Neil Horman: > On Thu, Jul 19, 2018 at 02:09:47PM +0200, Thomas Monjalon wrote: > > 19/07/2018 13:14, Neil Horman: > > > On Wed, Jul 18, 2018 at 11:26:58PM +0200, Thomas Monjalon wrote: > > > > If the patch filename or the temporary file path have a space > > > > in their name, th

Re: [dpdk-dev] [PATCH v2] devtools: fix symbol check for filename with space

2018-07-19 Thread Neil Horman
On Thu, Jul 19, 2018 at 02:09:47PM +0200, Thomas Monjalon wrote: > 19/07/2018 13:14, Neil Horman: > > On Wed, Jul 18, 2018 at 11:26:58PM +0200, Thomas Monjalon wrote: > > > If the patch filename or the temporary file path have a space > > > in their name, the script check-symbol-change.sh does not

Re: [dpdk-dev] [PATCH v2] devtools: fix symbol check for filename with space

2018-07-19 Thread Thomas Monjalon
19/07/2018 13:14, Neil Horman: > On Wed, Jul 18, 2018 at 11:26:58PM +0200, Thomas Monjalon wrote: > > If the patch filename or the temporary file path have a space > > in their name, the script check-symbol-change.sh does not work. > > The variables for the filenames must be enclosed in quotes > >

Re: [dpdk-dev] [PATCH v2] devtools: fix symbol check for filename with space

2018-07-19 Thread Neil Horman
On Wed, Jul 18, 2018 at 11:26:58PM +0200, Thomas Monjalon wrote: > If the patch filename or the temporary file path have a space > in their name, the script check-symbol-change.sh does not work. > The variables for the filenames must be enclosed in quotes > in order to preserve spaces. > > Fixes:

[dpdk-dev] [PATCH v2] devtools: fix symbol check for filename with space

2018-07-18 Thread Thomas Monjalon
If the patch filename or the temporary file path have a space in their name, the script check-symbol-change.sh does not work. The variables for the filenames must be enclosed in quotes in order to preserve spaces. Fixes: 4bec48184e33 ("devtools: add checks for ABI symbol addition") Cc: nhor...@tux