diff deploy/linux/docker/Dockerfile_deb.in @ 2158:3f3ad6701482

Ensure Docker cache is defeated when necessary for a consistent build
author Chris Cannam
date Thu, 13 Dec 2018 10:22:16 +0000
parents 3a4202cae7fe
children 07e957f5d3d8
line wrap: on
line diff
--- a/deploy/linux/docker/Dockerfile_deb.in	Wed Dec 12 12:14:47 2018 +0000
+++ b/deploy/linux/docker/Dockerfile_deb.in	Thu Dec 13 10:22:16 2018 +0000
@@ -1,7 +1,3 @@
-# This pulls the latest versions of capnp & SV from repos - so you
-# will need to defeat the Docker cache by destroying the container
-# each time you want to update it
-#
 FROM ubuntu:14.04
 MAINTAINER Chris Cannam <cannam@all-day-breakfast.com>
 RUN apt-get update && \