diff options
author | paltherr <paltherr@epfl.ch> | 2004-03-16 17:00:31 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2004-03-16 17:00:31 +0000 |
commit | f6c38a03317ff408e7b61bed46b937a83116953b (patch) | |
tree | a6910efbb30ebef7a38d80af5eed667cf78e6dc4 /support | |
parent | 57808a09a8a7d975ea9d859e5109d735e58f0ce5 (diff) | |
download | scala-f6c38a03317ff408e7b61bed46b937a83116953b.tar.gz scala-f6c38a03317ff408e7b61bed46b937a83116953b.tar.bz2 scala-f6c38a03317ff408e7b61bed46b937a83116953b.zip |
- Added checksum attribute
Diffstat (limited to 'support')
-rw-r--r-- | support/scripts/website.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/support/scripts/website.sh b/support/scripts/website.sh index ff1da39eec..026dfce13d 100644 --- a/support/scripts/website.sh +++ b/support/scripts/website.sh @@ -28,7 +28,8 @@ function website-print-xml-distributions-get-archive() { if [ -f "$archive" ]; then local name=`basename $archive`; local size=`stat -l -c%s $archive`; - echo "<archive name=\"$name\" size=\"$size\"/>"; + local checksum=`sed -e's/\([0-9a-fA-F]*\).*/\1/' $archive.md5`; + echo "<archive name=\"$name\" size=\"$size\" checksum=\"$checksum\"/>"; fi; } |