diff deploy/linux/docker/Dockerfile_test_appimage.in @ 716:6fb20633da00

Defeat cacheing; switch to 16.04 for deb build (no point in trying to support 14.04 as it doesn't have the python-pyqt5 package that is one of our dependencies)
author Chris Cannam
date Wed, 12 Dec 2018 14:10:55 +0000
parents 0720152d1914
children 2a27275b8540
line wrap: on
line diff
--- a/deploy/linux/docker/Dockerfile_test_appimage.in	Wed Dec 12 14:10:20 2018 +0000
+++ b/deploy/linux/docker/Dockerfile_test_appimage.in	Wed Dec 12 14:10:55 2018 +0000
@@ -1,4 +1,11 @@
 FROM centos:7
+
+# Ensure that everything subsequent is re-run when a new revision is
+# being built (rather than being cached) - so as to avoid potential
+# mismatches between results of yum update and the package dependency
+# installation itself
+RUN echo [[REVISION]]
+
 RUN yum update
 RUN yum -y groupinstall "X Window System"
 RUN yum -y install wget