From 845b490270cf5ff1f1747e81ac4a83e51e5469a6 Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Sat, 13 Jul 2019 17:43:02 +0300
Subject: Change: how apt-get allow-releaseinfo-change is called

---
 ci-prod-fable.ick | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/ci-prod-fable.ick b/ci-prod-fable.ick
index bd9f31d..696e6c2 100644
--- a/ci-prod-fable.ick
+++ b/ci-prod-fable.ick
@@ -55,8 +55,7 @@ pipelines:
         shell: |
           echo already set up?
           dpkg -l texlive-full
-          apt-get allow-releaseinfo-change
-          apt-get update
+          apt-get --allow-releaseinfo-change update
           apt-get install -y wget
 
   - pipeline: build_fable_poc_pdfs
-- 
cgit v1.2.1