changeset 71268 | e2fb60756fb8 |
parent 71266 | 8451c86ffa85 |
child 71269 | 7df5c110a43c |
--- 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) })