src/Pure/Tools/build_history.scala
changeset 64027 4a33d740c9dc
parent 64026 cbecd26e063f
child 64030 04f9e1e9003a
equal deleted inserted replaced
64026:cbecd26e063f 64027:4a33d740c9dc
    27     nonfree: Boolean = false,
    27     nonfree: Boolean = false,
    28     verbose: Boolean = false,
    28     verbose: Boolean = false,
    29     build_args: List[String] = Nil): Process_Result =
    29     build_args: List[String] = Nil): Process_Result =
    30   {
    30   {
    31     hg.update(rev = rev, clean = true)
    31     hg.update(rev = rev, clean = true)
    32     if (verbose) hg.command("log -l1").check.print
    32     if (verbose) Output.writeln(hg.log(rev, options = "-l1"))
    33 
    33 
    34     def bash(script: String): Process_Result =
    34     def bash(script: String): Process_Result =
    35       Isabelle_System.bash("env ISABELLE_IDENTIFIER=" + File.bash_string(isabelle_identifier) +
    35       Isabelle_System.bash("env ISABELLE_IDENTIFIER=" + File.bash_string(isabelle_identifier) +
    36         " " + script, cwd = hg.root.file, env = null)
    36         " " + script, cwd = hg.root.file, env = null)
    37 
    37