# HG changeset patch
# User wenzelm
# Date 1625221180 -7200
# Node ID 3b340b44451cd214e3ddc184bad8cb5f564c694f
# Parent  429c1ffb5a36bd89dd533b337c7e10207ccb6edf
clarified order;

diff -r 429c1ffb5a36 -r 3b340b44451c src/Tools/Setup/isabelle/setup/Build_Scala.java
--- 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)) {