diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-10-05 15:07:34 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-10-05 15:07:34 +0200 |
| commit | 0bf04ea43b914ea526b2b3217bbf13c96b705110 (patch) | |
| tree | a1fd74203e57e6101ca8c07fb441f63157d28be6 /bin | |
| parent | 34cc9e39461fe75c1d78041a50f4c8a2c2748326 (diff) | |
| download | jenkins.debian.net-0bf04ea43b914ea526b2b3217bbf13c96b705110.tar.xz | |
reproducible: use $MIRROR variable
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" |