From f49cea0badd261e4847ded90796dde2323c6126a Mon Sep 17 00:00:00 2001
From: Stefan Agner <stefan@agner.ch>
Date: Thu, 24 Jan 2019 13:34:11 +0100
Subject: [PATCH] update Docker before installing

It seems that Docker on Travis messes with the file permission settings
leading to errors such as this:
  warning: directory permissions differ on /usr/

Indeed, the permissions inside the containers are off:
  drwxrwxr-x  1 root root  4096 Jan 23 23:14 usr

I cannot reproduce this locally with Docker 18.09.1-ce. Try upgrading
Docker before installing.
---
 .travis.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 0d78e40..577fbcd 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -8,6 +8,9 @@ services:
 env:
   - BUILD_ARCH=arm32v7
   - BUILD_ARCH=arm64v8
+before_install:
+  - sudo apt update -y && sudo apt install --only-upgrade docker-ce -y
+  - docker info
 install:
   - 'echo ''{ "experimental": true }'' | sudo tee /etc/docker/daemon.json'
   - sudo systemctl restart docker