From 76c5fd0c0c8cf011bf4c519e3ebc1e8cbc4a120d Mon Sep 17 00:00:00 2001
From: Megan Wachs <megan@sifive.com>
Date: Fri, 22 Dec 2017 16:20:12 -0800
Subject: [PATCH] travis: Use newer infrastructure, but require sudo for
 additional disk space.

This is because as of Dec 12, 2017, Travis changed their container images and seem
to give slightly less disk space. Using a sudo image gives more disk space.
---
 .travis.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index daab1d19..57602988 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,8 +1,7 @@
 git:
   submodules: false
 language: scala
-# run on new infrastructure
-sudo: false
+sudo: required
 cache:
   apt: true
   directories: