Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/build.scala
changeset 49696 3003c87f7814
parent 49131 aa1e2ba3c697
child 49951 119440fe1d5c 
--- a/src/Pure/System/build.scala	Thu Oct 04 10:55:36 2012 +0200
+++ b/src/Pure/System/build.scala	Thu Oct 04 11:07:36 2012 +0200
@@ -374,7 +374,7 @@
             echo(cat_lines(all_files.map(_.implode).sorted.map("  " + _)))
 
           val sources =
-            try { all_files.map(p => (p, SHA1.digest(p))) }
+            try { all_files.map(p => (p, SHA1.digest(p.file))) }
             catch {
               case ERROR(msg) =>
                 error(msg + "\nThe error(s) above occurred in session " +
isabelle