diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index c3fc6353..7a9d21bb 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -25,7 +25,7 @@ sudo apt-get update || ( sleep $(( $RANDOM % 70 + 30 )) ; sudo apt-get update || # update sources table in db update_sources_table() { TMPFILE=$(mktemp) - curl http://ftp.de.debian.org/debian/dists/sid/main/source/Sources.xz > $TMPFILE + curl $MIRROR/dists/sid/main/source/Sources.xz > $TMPFILE CSVFILE=$(mktemp) (xzcat $TMPFILE | egrep "(^Package:|^Version:)" | sed -s "s#^Version: ##g; s#Package: ##g; s#\n# #g"| while read PKG ; do read VERSION ; echo "$PKG,$VERSION" ; done) > $CSVFILE sqlite3 -csv -init $INIT ${PACKAGES_DB} "DELETE from sources" |