src/Pure/Tools/phabricator.scala
changeset 71326 d85258458623
parent 71314 5b68cc73f8b1
child 71328 4642a81f5913
equal deleted inserted replaced
71325:0131b7b44c32 71326:d85258458623
   241     Linux.check_reboot_required()
   241     Linux.check_reboot_required()
   242 
   242 
   243 
   243 
   244     if (mercurial_source.nonEmpty) {
   244     if (mercurial_source.nonEmpty) {
   245       for { name <- List("mercurial", "mercurial-common") if Linux.package_installed(name) } {
   245       for { name <- List("mercurial", "mercurial-common") if Linux.package_installed(name) } {
   246         error("Cannot install Mercurial from source:" +
   246         error("Cannot install Mercurial from source:\n" +
   247           "package package " + quote(name) + " already installed")
   247           "package package " + quote(name) + " already installed")
   248       }
   248       }
   249       mercurial_setup(mercurial_source, progress = progress)
   249       mercurial_setup(mercurial_source, progress = progress)
   250     }
   250     }
   251 
   251