Re: [dpdk-dev] [PATCH] devtools: fix symbol check for dash

2018-08-09 Thread Thomas Monjalon
09/08/2018 17:14, Neil Horman: > On Thu, Aug 09, 2018 at 01:14:23PM +0100, Ferruh Yigit wrote: > > On 8/5/2018 10:38 AM, Thomas Monjalon wrote: > > > The script check-symbol-change.sh was not running when > > > /bin/sh redirects to dash. > > > > > > Fixes: 4bec48184e33 ("devtools: add checks for A

Re: [dpdk-dev] [PATCH] devtools: fix symbol check for dash

2018-08-09 Thread Neil Horman
On Thu, Aug 09, 2018 at 01:14:23PM +0100, Ferruh Yigit wrote: > On 8/5/2018 10:38 AM, Thomas Monjalon wrote: > > The script check-symbol-change.sh was not running when > > /bin/sh redirects to dash. > > > > Fixes: 4bec48184e33 ("devtools: add checks for ABI symbol addition") > > Cc: nhor...@tuxdri

Re: [dpdk-dev] [PATCH] devtools: fix symbol check for dash

2018-08-09 Thread Ferruh Yigit
On 8/5/2018 10:38 AM, Thomas Monjalon wrote: > The script check-symbol-change.sh was not running when > /bin/sh redirects to dash. > > Fixes: 4bec48184e33 ("devtools: add checks for ABI symbol addition") > Cc: nhor...@tuxdriver.com > > Reported-by: Stephen Hemminger > Signed-off-by: Thomas Monja