git.droids-corp.org / dpdk.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2da7f01) | patch
devtools: fix symbol check for dash
authorThomas Monjalon <thomas@monjalon.net>
Sun, 5 Aug 2018 09:38:47 +0000 (11:38 +0200)
committerThomas Monjalon <thomas@monjalon.net>
Thu, 9 Aug 2018 16:12:22 +0000 (18:12 +0200)
commit5e45e7f08cd7171bb194044fd6e3125907329997
tree73d58f8473d5f872bbad50ae24c32f77ad053437tree | snapshot
parent2da7f0146e47833215e68f2c658b4275b8d609fccommit | diff
devtools: fix symbol check for dash

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 <thomas@monjalon.net>
Tested-by: Ferruh Yigit <ferruh.yigit@intel.com>
Acked-by: Neil Horman <nhorman@tuxdriver.com>
devtools/check-symbol-change.sh diff | blob | history
DPDK repo used for reviews