# HG changeset patch
# User wenzelm
# Date 1576008307 -3600
# Node ID e2fb60756fb80aa1d24c6a579da9d3b4d46b45e7
# Parent  d5751eb5cc570c56867d7fce9f284a4286b41eb2
proper check of Linux version;

diff -r d5751eb5cc57 -r e2fb60756fb8 src/Pure/System/linux.scala
--- a/src/Pure/System/linux.scala	Tue Dec 10 20:57:54 2019 +0100
+++ b/src/Pure/System/linux.scala	Tue Dec 10 21:05:07 2019 +0100
@@ -50,6 +50,7 @@
     override def toString: String = description
 
     def is_ubuntu: Boolean = id == "Ubuntu"
+    def is_ubuntu_18_04: Boolean = is_ubuntu && release == "18.04"
   }
 
 
diff -r d5751eb5cc57 -r e2fb60756fb8 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Tue Dec 10 20:57:54 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Tue Dec 10 21:05:07 2019 +0100
@@ -453,6 +453,9 @@
 
       val progress = new Console_Progress
 
+      val release = Linux.Release()
+      if (!release.is_ubuntu_18_04) error("Bad Linux version: Ubuntu 18.04 LTS required")
+
       phabricator_setup(name = name, root = root, repo = repo,
         package_update = package_update, progress = progress)
     })