Re: [PATCH] devtools: fix symbol check for dash
From: Neil Horman <nhorman@tuxdriver.com>
Date: 2018-08-09 15:15:33
On Thu, Aug 09, 2018 at 01:14:23PM +0100, Ferruh Yigit wrote:
On 8/5/2018 10:38 AM, Thomas Monjalon wrote:quoted
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@tuxdriver.com Reported-by: Stephen Hemminger <stephen@networkplumber.org> Signed-off-by: Thomas Monjalon <redacted>Tested-by: Ferruh Yigit <redacted>
Acked-by: Neil Horman <nhorman@tuxdriver.com>