2003-07-10 09:11:30 +00:00
|
|
|
#! /bin/sh
|
|
|
|
|
2003-07-12 11:03:14 +00:00
|
|
|
echo "downloading $url into $out..."
|
2003-08-06 09:35:05 +00:00
|
|
|
@wget@ "$url" -O "$out" || exit 1
|
2003-07-12 11:03:14 +00:00
|
|
|
|
2003-08-06 09:35:05 +00:00
|
|
|
actual=$(@bindir@/nix-hash --flat $out)
|
2003-08-06 10:00:30 +00:00
|
|
|
if test "$actual" != "$md5"; then
|
2003-07-21 20:07:12 +00:00
|
|
|
echo "hash is $actual, expected $md5"
|
|
|
|
exit 1
|
2003-07-12 11:03:14 +00:00
|
|
|
fi
|