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.
another attempt to standardize sort order in a portable way;
authorwenzelm
Fri, 25 Jan 2013 20:33:36 +0100
changeset 51053 81a75d9a9a4e
parent 51052 3d67739cf626
child 51054 d6de6e81574d
another attempt to standardize sort order in a portable way;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/lib/Tools/components_checksum file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Fri Jan 25 20:09:56 2013 +0100
+++ b/Admin/components/components.sha1	Fri Jan 25 20:33:36 2013 +0100
@@ -1,6 +1,3 @@
-59a71e08c34ff01f3f5c4af00db5e16369527eb7  Haskabelle-2013.tar.gz
-8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
-847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
 2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7  cvc3-2.4.1.tar.gz
 842d9526f37b928cf9e22f141884365129990d63  cygwin-20130110.tar.gz
 cb3b0706d208f104b800267697204f6d82f7b48a  cygwin-20130114.tar.gz
@@ -13,6 +10,7 @@
 8b9bffd10e396d965e815418295f2ee2849bea75  exec_process-1.0.2.tar.gz
 e6aada354da11e533af2dee3dcdd96c06479b053  exec_process-1.0.3.tar.gz
 ae7ee5becb26512f18c609e83b34612918bae5f0  exec_process-1.0.tar.gz
+59a71e08c34ff01f3f5c4af00db5e16369527eb7  Haskabelle-2013.tar.gz
 683acd94761ef460cca1a628f650355370de5afb  hol-light-bundle-0.5-126.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c  jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6  jdk-7u11.tar.gz
@@ -35,6 +33,8 @@
 a3f9c159a0ee9a63b7a5d0c835ed9c2c908f8b56  polyml-5.5.0-1.tar.gz
 7d604a99355efbfc1459d80db3279ffa7ade3e39  polyml-5.5.0-2.tar.gz
 1812e9fa6d163f63edb93e37d1217640a166cf3e  polyml-5.5.0.tar.gz
+8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
+847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
 0885e1f1d8feaca78d2f204b6487e6eec6dfab4b  scala-2.10.0.tar.gz
 b447017e81600cc5e30dd61b5d4962f6da01aa80  scala-2.8.1.final.tar.gz
 5659440f6b86db29f0c9c0de7249b7e24a647126  scala-2.9.2.tar.gz
--- a/Admin/lib/Tools/components_checksum	Fri Jan 25 20:09:56 2013 +0100
+++ b/Admin/lib/Tools/components_checksum	Fri Jan 25 20:33:36 2013 +0100
@@ -71,7 +71,7 @@
 
 (
   cd "$COMPONENTS_DIR"
-  sha1sum *.tar.gz | sort -k2 > "$CHECKSUM_TMP"
+  sha1sum *.tar.gz | sort -k2 -f > "$CHECKSUM_TMP"
 )
 
 [ -n "$UPDATE" ] && mv "$CHECKSUM_TMP" "$CHECKSUM_FILE"
isabelle