# HG changeset patch
# User wenzelm
# Date 1457875651 -3600
# Node ID 8e5b631d203b683f4dbe3163912e8b399807ed1e
# Parent  0a01bc7f09464d8956e28921a3002e4d2ef36967
tuned signature;

diff -r 0a01bc7f0946 -r 8e5b631d203b src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Sun Mar 13 13:04:50 2016 +0100
+++ b/src/Pure/System/isabelle_system.scala	Sun Mar 13 14:27:31 2016 +0100
@@ -312,8 +312,8 @@
   def pdf_viewer(arg: Path): Unit =
     bash("exec \"$PDF_VIEWER\" '" + File.standard_path(arg) + "' >/dev/null 2>/dev/null &")
 
-  def hg(cmd_line: String, cwd: Path = Path.current): Process_Result =
-    bash("cd " + File.bash_path(cwd) + " && \"${HG:-hg}\" " + cmd_line)
+  def hg(cmd_line: String, cwd: JFile = null): Process_Result =
+    bash("\"${HG:-hg}\" " + cmd_line, cwd = cwd)
 
 
 
diff -r 0a01bc7f0946 -r 8e5b631d203b src/Pure/Tools/check_sources.scala
--- a/src/Pure/Tools/check_sources.scala	Sun Mar 13 13:04:50 2016 +0100
+++ b/src/Pure/Tools/check_sources.scala	Sun Mar 13 14:27:31 2016 +0100
@@ -43,7 +43,7 @@
     Output.writeln("Checking " + root + " ...")
     Isabelle_System.hg("--repository " + File.bash_path(root) + " root").check
     for {
-      file <- Isabelle_System.hg("manifest", root).check.out_lines
+      file <- Isabelle_System.hg("manifest", cwd = root.file).check.out_lines
       if file.endsWith(".thy") || file.endsWith(".ML") || file.endsWith("/ROOT")
     } check_file(root + Path.explode(file))
   }