From afa996e661e99fae71f403c0f4f04ac1f1622d2a Mon Sep 17 00:00:00 2001
From: Gregor Hartmann <HHHartmann@users.noreply.github.com>
Date: Mon, 22 Apr 2019 19:45:59 +0200
Subject: [PATCH] Use Xenial distribution for Travis (#2736)

no need to install make 4.1 anymore
---
 .travis.yml | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index bc21e8ff..ec9f7011 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,11 +1,5 @@
-sudo: required # due to manual install of make 4.1
-dist: trusty # due to the make 4.1 not installable on precise
+dist: xenial
 language: cpp
-# we need at least GNU Make 4.0, which isn't available in trusty, so grab it
-# manually from xenial
-before_install:
-- wget http://mirrors.kernel.org/ubuntu/pool/main/m/make-dfsg/make_4.1-6_amd64.deb
-- sudo dpkg -i make_4.1-6_amd64.deb
 addons:
   apt:
     packages: