Burn the cache when the upstream repo changes

diff --git a/Dockerfile b/Dockerfile
index 7f9cd25f0505c307974ae448931b3f3777af45af..a6d5ebe97edbb978638f8df8ccc082ea764d03bb 100644 (file)
--- a/Dockerfile
+++ b/Dockerfile
@@ -26,6 +26,9 @@ RUN sh -c 'mkdir /tmp/db_build && \
 # Deploy "ctdlvisor", a small supervisor program which runs inside the container to wrangle the various services
 ADD ctdlvisor.c /tmp
 
+# Burn the cache if the upstream repository has changed
+ADD "https://code.citadel.org/?p=citadel;a=rss;h=refs/heads/master" /tmp/changes.rss
+
 # Download and build Citadel
 RUN sh -c 'export CFLAGS=-I/usr/local/ctdlsupport/include && \
        export LDFLAGS="-L/usr/local/ctdlsupport/lib -Wl,--rpath -Wl,/usr/local/ctdlsupport/lib" && \