devtools: fix symbol check for dash
[dpdk.git] / devtools / check-symbol-change.sh
2018-08-09 Thomas Monjalondevtools: fix symbol check for dash
2018-07-20 Thomas Monjalondevtools: fix symbol check for filename with space
2018-07-15 Neil Hormandevtools: add checks for ABI symbol addition