devtools: pass custom options to checkpatch
[dpdk.git] / .ci / linux-build.sh
2019-03-29 David Marchandci: fix arm64 config filename
2019-03-26 Michael Santanaci: introduce Travis builds for GitHub repositories