another attempt to standardize sort order in a portable way;
authorwenzelm
Fri Jan 25 20:33:36 2013 +0100 (2013-01-25)
changeset 5105381a75d9a9a4e
parent 51052 3d67739cf626
child 51054 d6de6e81574d
another attempt to standardize sort order in a portable way;
Admin/components/components.sha1
Admin/lib/Tools/components_checksum
     1.1 --- a/Admin/components/components.sha1	Fri Jan 25 20:09:56 2013 +0100
     1.2 +++ b/Admin/components/components.sha1	Fri Jan 25 20:33:36 2013 +0100
     1.3 @@ -1,6 +1,3 @@
     1.4 -59a71e08c34ff01f3f5c4af00db5e16369527eb7  Haskabelle-2013.tar.gz
     1.5 -8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
     1.6 -847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
     1.7  2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7  cvc3-2.4.1.tar.gz
     1.8  842d9526f37b928cf9e22f141884365129990d63  cygwin-20130110.tar.gz
     1.9  cb3b0706d208f104b800267697204f6d82f7b48a  cygwin-20130114.tar.gz
    1.10 @@ -13,6 +10,7 @@
    1.11  8b9bffd10e396d965e815418295f2ee2849bea75  exec_process-1.0.2.tar.gz
    1.12  e6aada354da11e533af2dee3dcdd96c06479b053  exec_process-1.0.3.tar.gz
    1.13  ae7ee5becb26512f18c609e83b34612918bae5f0  exec_process-1.0.tar.gz
    1.14 +59a71e08c34ff01f3f5c4af00db5e16369527eb7  Haskabelle-2013.tar.gz
    1.15  683acd94761ef460cca1a628f650355370de5afb  hol-light-bundle-0.5-126.tar.gz
    1.16  8d83e433c1419e0c0cc5fd1762903d11b4a5752c  jdk-6u31.tar.gz
    1.17  38d2d2a91c66714c18430e136e7e5191af3996e6  jdk-7u11.tar.gz
    1.18 @@ -35,6 +33,8 @@
    1.19  a3f9c159a0ee9a63b7a5d0c835ed9c2c908f8b56  polyml-5.5.0-1.tar.gz
    1.20  7d604a99355efbfc1459d80db3279ffa7ade3e39  polyml-5.5.0-2.tar.gz
    1.21  1812e9fa6d163f63edb93e37d1217640a166cf3e  polyml-5.5.0.tar.gz
    1.22 +8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
    1.23 +847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
    1.24  0885e1f1d8feaca78d2f204b6487e6eec6dfab4b  scala-2.10.0.tar.gz
    1.25  b447017e81600cc5e30dd61b5d4962f6da01aa80  scala-2.8.1.final.tar.gz
    1.26  5659440f6b86db29f0c9c0de7249b7e24a647126  scala-2.9.2.tar.gz
     2.1 --- a/Admin/lib/Tools/components_checksum	Fri Jan 25 20:09:56 2013 +0100
     2.2 +++ b/Admin/lib/Tools/components_checksum	Fri Jan 25 20:33:36 2013 +0100
     2.3 @@ -71,7 +71,7 @@
     2.4  
     2.5  (
     2.6    cd "$COMPONENTS_DIR"
     2.7 -  sha1sum *.tar.gz | sort -k2 > "$CHECKSUM_TMP"
     2.8 +  sha1sum *.tar.gz | sort -k2 -f > "$CHECKSUM_TMP"
     2.9  )
    2.10  
    2.11  [ -n "$UPDATE" ] && mv "$CHECKSUM_TMP" "$CHECKSUM_FILE"