From 8549ecb1177a5d4e0e604ed43ff9ad9183850065 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <kroening@cs.ox.ac.uk>
Date: Sat, 3 Mar 2018 18:03:01 +0000
Subject: [PATCH] AWS codebuild: enable cache

---
 buildspec.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/buildspec.yml b/buildspec.yml
index 9828d1362ed..79e0faf6511 100644
--- a/buildspec.yml
+++ b/buildspec.yml
@@ -21,3 +21,6 @@ phases:
       - echo Build completed on `date`
 artifacts:
   files:
+cache:
+  paths:
+    - '/root/.ccache/**/*'