From 5002e7a249391dda02554e4aff92499b42f8aa53 Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Thu, 25 Jan 2018 09:18:45 -0700 Subject: [PATCH] devops/devops: Added Ubuntu 18.04. --- src/devops/devops.scm | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/devops/devops.scm b/src/devops/devops.scm index 41597cd3f..8d64b31f5 100644 --- a/src/devops/devops.scm +++ b/src/devops/devops.scm @@ -818,14 +818,16 @@ Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. (string-prefix? "Ubuntu " os)) (define (ubuntu-os-codename os) - (cond ((string=? "Ubuntu 17.10" os) "artful") + (cond ((string=? "Ubuntu 18.04" os) "bionic") + ((string=? "Ubuntu 17.10" os) "artful") ((string=? "Ubuntu 17.04" os) "zesty") ((string=? "Ubuntu 16.10" os) "yakkety") ((string=? "Ubuntu 16.04" os) "xenial") (else (error "Unexpected Ubuntu OS:" os)))) (define (ubuntu-os-version os) - (cond ((string=? "Ubuntu 17.10" os) "17.10") + (cond ((string=? "Ubuntu 18.04" os) "18.04") + ((string=? "Ubuntu 17.10" os) "17.10") ((string=? "Ubuntu 17.04" os) "17.04") ((string=? "Ubuntu 16.10" os) "16.10") ((string=? "Ubuntu 16.04" os) "16.04") -- 2.25.1