diff options
author | Janek Bevendorff <janek@jbev.net> | 2018-01-13 17:00:15 +0300 |
---|---|---|
committer | Jonathan White <support@dmapps.us> | 2018-01-13 22:25:02 +0300 |
commit | 96e271e8bee1255a84b620fec3328de93189db28 (patch) | |
tree | 266948d9ff82eb6031f96d10ffaa9ffcec663c46 /ci | |
parent | 90380adc901536ddbc0bf6d4b4dea3eff93b414f (diff) |
Force Docker rebuild to fetch fixed version of libgpg-error-127
Diffstat (limited to 'ci')
-rw-r--r-- | ci/trusty/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/trusty/Dockerfile b/ci/trusty/Dockerfile index d8911f2af..cdaba3a07 100644 --- a/ci/trusty/Dockerfile +++ b/ci/trusty/Dockerfile @@ -18,7 +18,7 @@ FROM ubuntu:14.04 -ENV REBUILD_COUNTER=1 +ENV REBUILD_COUNTER=2 ENV QT5_VERSION=53 ENV QT5_PPA_VERSION=${QT5_VERSION}2 |