From 636a4df2b5de01d0233a0bdb9480a1d35989fafe Mon Sep 17 00:00:00 2001
From: Olaf Bergmann <bergmann@tzi.org>
Date: Fri, 21 Feb 2020 17:57:44 +0100
Subject: [PATCH] .travis.yml: Cleanup

* Remove deprecated option `sudo`
* Explicitly set `os` to `linux`
---
 .travis.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 2fc02932..70c75feb 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,4 +1,6 @@
-sudo: required
+os:
+  - linux
+
 language: c
 
 compiler: