# HG changeset patch
# User wenzelm
# Date 1379109121 -7200
# Node ID e68732cd842e024e4a63730a33608f970332b138
# Parent  e58a33c2eb7f74696b5e00cc99ef24774a3f5148
proper sharing after change of directory structure (cf. 32ec957e5c3e);
result is structurally equal, despite change of hash key;

diff -r e58a33c2eb7f -r e68732cd842e Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Sep 13 23:17:04 2013 +0200
+++ b/Admin/components/components.sha1	Fri Sep 13 23:52:01 2013 +0200
@@ -19,7 +19,7 @@
 d765bc4ad2f34d494429b2a8c1563c49db224944  jdk-7u13.tar.gz
 13a265e4b706ece26fdfa6fc9f4a3dd1366016d2  jdk-7u21.tar.gz
 5080274f8721a18111a7f614793afe6c88726739  jdk-7u25.tar.gz
-9e4a76578287849591188e928f46789cbbdfe9cb  jdk-7u40.tar.gz
+dd24d63afd6d17b29ec9cb2b2464d4ff2e02de2c  jdk-7u40.tar.gz
 ec740ee9ffd43551ddf1e5b91641405116af6291  jdk-7u6.tar.gz
 7d5b152ac70f720bb9e783fa45ecadcf95069584  jdk-7u9.tar.gz
 44775a22f42a9d665696bfb49e53c79371c394b0  jedit_build-20111217.tar.gz
diff -r e58a33c2eb7f -r e68732cd842e Admin/java/build
--- a/Admin/java/build	Fri Sep 13 23:17:04 2013 +0200
+++ b/Admin/java/build	Fri Sep 13 23:52:01 2013 +0200
@@ -104,17 +104,19 @@
   for FILE in $(find . -type f)
   do
     for OTHER in \
-      "../../x86_64-linux/$FILE" \
-      "../../x86_64-darwin/Contents/Home/$FILE" \
-      "../../x86-cygwin/$FILE"
+      "../x86_64-linux/$FILE" \
+      "../x86_64-darwin/Contents/Home/$FILE" \
+      "../x86-cygwin/$FILE"
     do
       if cmp -s "$FILE" "$OTHER"
       then
+        echo -n "."
         ln -f "$FILE" "$OTHER"
       fi
     done
   done
 )
+echo
 
 
 # create archive