From dd5a3529268771a43f81e95067b48d618127975c Mon Sep 17 00:00:00 2001
From: Augustin Degomme <adegomme@users.noreply.github.com>
Date: Sun, 7 Jul 2019 00:35:48 +0200
Subject: [PATCH] switch to mojave on travis

---
 tools/jenkins/project_description.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/jenkins/project_description.sh b/tools/jenkins/project_description.sh
index f44d99a177..f493cb94f4 100755
--- a/tools/jenkins/project_description.sh
+++ b/tools/jenkins/project_description.sh
@@ -157,7 +157,7 @@ do
       os="Ubuntu 16.04 (<a href=\"https://docs.travis-ci.com/user/reference/xenial/\">xenial</a>) 64 bits"
     elif [ $id == 1 ]; then
       node="<a href=\"https://travis-ci.org/simgrid/simgrid/jobs/${BUILDS[$id]}\">travis-mac</a>"
-      os="(<a href=\"https://docs.travis-ci.com/user/reference/osx/\">Mac OSX</a>) High Sierra (kernel: 17.4.0) "
+      os="(<a href=\"https://docs.travis-ci.com/user/reference/osx/\">Mac OSX</a>) Mojave (10.14) "
     elif [ $id == 2 ]; then
       node="<a href=\"https://travis-ci.org/simgrid/simgrid/jobs/${BUILDS[$id]}\">travis-windows</a>"
       os="(<a href=\"https://docs.travis-ci.com/user/reference/windows/\">Windows</a>) 10 v17134"
-- 
2.20.1