From a88e6ddbf787d504e4694e10bfe717cacef737a2 Mon Sep 17 00:00:00 2001
From: Luke Anderson <luke@lukeanderson.com.au>
Date: Thu, 7 Feb 2019 22:49:51 +1100
Subject: [PATCH] Added a cargo cache to the dockerfile, so that everything
 isn't re-downloaded every build.

---
 Jenkinsfile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 4f4683941..42755d5f7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,10 @@
 pipeline {
-    agent { dockerfile true }
+    agent {
+		dockerfile {
+			filename 'Dockerfile'
+			args '-v cargo-cache:/cargocache:rw -e "CARGO_HOME=/cargocache"'
+		}
+	}
     stages {
         stage('Build') {
             steps {