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.
proper sharing after change of directory structure (cf. 32ec957e5c3e);
authorwenzelm
Fri, 13 Sep 2013 23:52:01 +0200
changeset 53631 e68732cd842e
parent 53630 e58a33c2eb7f
child 53632 96808429b9ec
child 53634 ab5d01b69a07
proper sharing after change of directory structure (cf. 32ec957e5c3e); result is structurally equal, despite change of hash key;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/java/build file | annotate | diff | comparison | revisions 
--- 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
--- 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
isabelle