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

[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: nhorman at tuxdriver.com
> 
> Reported-by: Stephen Hemminger <stephen at networkplumber.org>
> Signed-off-by: Thomas Monjalon <thomas at monjalon.net>

Tested-by: Ferruh Yigit <ferruh.yigit at intel.com>