diff options
author | 2016-01-28 11:16:37 -0800 | |
---|---|---|
committer | 2016-01-28 11:16:37 -0800 | |
commit | 3ab10f878bef0720f4d2f0a6c5a5c2390bf6ed89 (patch) | |
tree | 1eb810ff5c8c2cf556446ff2c4bed905996b1401 /tools/dockerfile/grpc_sanity/Dockerfile | |
parent | 6326b8c51ee9cd1eafaa23aea569299fd57242d6 (diff) |
Install "time" so that we can profile things
Diffstat (limited to 'tools/dockerfile/grpc_sanity/Dockerfile')
-rw-r--r-- | tools/dockerfile/grpc_sanity/Dockerfile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/dockerfile/grpc_sanity/Dockerfile b/tools/dockerfile/grpc_sanity/Dockerfile index 6f7797d32a..8833141832 100644 --- a/tools/dockerfile/grpc_sanity/Dockerfile +++ b/tools/dockerfile/grpc_sanity/Dockerfile @@ -73,6 +73,10 @@ RUN pip install simplejson mako RUN curl https://get.docker.com/ | sh RUN apt-get remove --purge -y docker-engine +################## +# Build profiling +RUN apt-get install -y time + RUN mkdir /var/local/jenkins # Define the default command. |