devtools: rename build dependency of mlx drivers
[dpdk.git] / usertools / dpdk-setup.sh
2017-01-04 Thomas Monjalontools: move to usertools