From 7b789fe02a847a444c407eae015b22d65643fbf1 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Sun, 19 Apr 2020 12:59:38 -0400
Subject: [PATCH] Docker: Add ccache and libgoogle-perftools-dev

---
 ci/docker/run/Dockerfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ci/docker/run/Dockerfile b/ci/docker/run/Dockerfile
index 83393fdbc..83fb70a8e 100644
--- a/ci/docker/run/Dockerfile
+++ b/ci/docker/run/Dockerfile
@@ -15,9 +15,11 @@ RUN apt-get update \
                         bison=2:3.0.4.dfsg-1build1 \
                         build-essential=12.4ubuntu1 \
                         ca-certificates=20180409 \
+                        ccache \
                         flex=2.6.4-6 \
                         git=1:2.17.1-1ubuntu0.6 \
                         libfl-dev=2.6.4-6 \
+                        libgoogle-perftools-dev \
                         perl=5.26.1-6ubuntu0.3 \
                         python3=3.6.7-1~18.04 \
     && apt-get clean \