1dist: trusty 2 3install: 4 - sudo apt-get -qq update 5 - sudo apt-get install -y linux-headers-$(uname -r) 6 7script: 8 - cat /dev/null | ./setup.sh --compile-dpdk 9 10