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