--- a/src/Pure/Tools/phabricator.scala Tue Apr 07 21:07:28 2020 +0200
+++ b/src/Pure/Tools/phabricator.scala Tue Apr 07 21:49:36 2020 +0200
@@ -193,7 +193,7 @@
command
}
- def mercurial_setup(mercurial_source: String, progress: Progress = No_Progress)
+ def mercurial_setup(mercurial_source: String, progress: Progress = new Progress)
{
progress.echo("\nMercurial installation from source " + quote(mercurial_source) + " ...")
Isabelle_System.with_tmp_dir("mercurial")(tmp_dir =>
@@ -226,7 +226,7 @@
repo: String = "",
package_update: Boolean = false,
mercurial_source: String = "",
- progress: Progress = No_Progress)
+ progress: Progress = new Progress)
{
/* system environment */
@@ -599,7 +599,7 @@
name: String = default_name,
config_file: Option[Path] = None,
test_user: String = "",
- progress: Progress = No_Progress)
+ progress: Progress = new Progress)
{
Linux.check_system_root()
@@ -717,7 +717,7 @@
def phabricator_setup_ssh(
server_port: Int = default_server_port,
system_port: Int = default_system_port,
- progress: Progress = No_Progress)
+ progress: Progress = new Progress)
{
Linux.check_system_root()