build.sh
changeset 32 149b604c319b
parent 31 1d83850b548a
child 57 00aecef99f14
     1.1 --- a/build.sh	Sun Aug 11 13:24:53 2013 +0200
     1.2 +++ b/build.sh	Sun Aug 11 13:42:41 2013 +0200
     1.3 @@ -30,7 +30,7 @@
     1.4      rm -rf $DELIVERY_DIR/$WORK_DIR
     1.5      java -jar $JAR $1
     1.6      pushd $DELIVERY_DIR
     1.7 -    (echo -n "Mercurial: "; hg identify || echo "n/a"; echo -n "Generated: "; date --rfc-3339=seconds) > $WORK_DIR/version.txt
     1.8 +    (echo -n "Mercurial: "; hg identify || echo "n/a"; echo -n "XML SHA-1: "; (sha1sum "../data/dictionary.xml" | cut -d" " -f1); echo -n "Generated: "; date --rfc-3339=seconds) > $WORK_DIR/version.txt
     1.9      tar czf $2.tar.gz $WORK_DIR
    1.10      popd
    1.11  }