Merge pull request torvalds#412 from libos-nuse/fix-dpdk-build

lkl: fix missing package linux-headers*.deb for dpdk build
Mic92 · Feb 5, 2018 · c415552 · c415552
2 parents 255fa93 + 1f9a291
commit c415552
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -38,7 +38,11 @@ do_steps: &do_steps
       name: build DPDK
       command: |
         if [ "$MKARG" = "dpdk=yes" ]; then
-          sudo apt-get update && sudo apt-get install -y linux-headers-$(uname -r)
+          sudo apt-get update
+          if ! sudo apt-get install -y linux-headers-$(uname -r) ; then
+             cd /lib/modules && sudo ln -sf 4.4.0-97-generic `uname -r` && \
+               cd /home/ubuntu/project
+          fi
           cd tools/lkl && ./scripts/dpdk-sdk-build.sh;
         fi
   - run: