Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified order;
authorwenzelm
Fri, 02 Jul 2021 12:19:40 +0200
changeset 73920 3b340b44451c
parent 73919 429c1ffb5a36
child 73921 1f31ed84c467
clarified order;
src/Tools/Setup/isabelle/setup/Build_Scala.java file | annotate | diff | comparison | revisions 
--- a/src/Tools/Setup/isabelle/setup/Build_Scala.java	Fri Jul 02 12:17:07 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Build_Scala.java	Fri Jul 02 12:19:40 2021 +0200
@@ -103,10 +103,10 @@
             String shasum_sources;
             {
                 StringBuilder _shasum = new StringBuilder();
-                for (String s : sources) { _shasum.append(context.shasum(s)); }
                 for (String s : resources) {
                     _shasum.append(context.shasum(context.resource_name(s)));
                 }
+                for (String s : sources) { _shasum.append(context.shasum(s)); }
                 shasum_sources = _shasum.toString();
             }
             if (fresh || !shasum_old.equals(context.shasum(jar_name) + shasum_sources)) {
isabelle