Update Jenkins to get kernel source

Grab kernel source before building
oscarlab · Apr 2, 2019 · 87e8734 · 87e8734
1 parent a0c91c5
commit 87e8734
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/Jenkinsfiles/Linux b/Jenkinsfiles/Linux
@@ -17,7 +17,10 @@ pipeline {
 
         sh '''
 	# Need link to source or build fails
-	sudo ln -s /usr/src/linux-source-3.11.10-ftfs linux-3.11.10
+	wget https://auku.cs.unc.edu/depot/linux-source-3.11.10-ftfs_20180618.00_all.deb
+	sudo dpkg -i linux-source-3.11.10-ftfs_20180618.00_all.deb
+	sudo tar -xvf /usr/src/linux-source-3.11.10-ftfs.tar.bz2
+	sudo mv linux-source-3.11.10-ftfs linux-3.11.10
         mkdir -p build
         cp cmake-ft.sh build/
         cd build