devops/devops: Added Ubuntu 18.04.

diff --git a/src/devops/devops.scm b/src/devops/devops.scm
index 41597cd3f811dd3a48d285d57fa21ad72f4a0b1c..8d64b31f542eef7e31a1904603e176fdcb257b45 100644 (file)
--- 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")