diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-03-01 20:13:27 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-03-01 20:13:27 +0100 |
| commit | c78eba1225880d5d38432fc2a96f51e6e964ccef (patch) | |
| tree | c0dfa245431fe1965af7fb87403e57ef4cce411a /bin | |
| parent | b9ade4de2f93cf95ed950e45f420f04d0b672341 (diff) | |
| download | jenkins.debian.net-c78eba1225880d5d38432fc2a96f51e6e964ccef.tar.xz | |
use /tmp
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_html_dd_list.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_html_dd_list.sh b/bin/reproducible_html_dd_list.sh index 9b990e66..b9aede87 100755 --- a/bin/reproducible_html_dd_list.sh +++ b/bin/reproducible_html_dd_list.sh @@ -20,7 +20,7 @@ echo "$(date) - starting to write $PAGE page." write_page_header $VIEW "Overview of ${SPOKENTARGET[$VIEW]}" TMPFILE=$(mktemp) SOURCES=$(mktemp) -schroot --directory / -c source:jenkins-reproducible-sid cat /var/lib/apt/lists/*_source_Sources > $SOURCES || \ +schroot --directory /tmp -c source:jenkins-reproducible-sid cat /var/lib/apt/lists/*_source_Sources > $SOURCES || \ wget ${MIRROR}/dists/sid/main/source/Sources.xz -O - | xzcat > $SOURCES BAD=$(sqlite3 -init $INIT $PACKAGES_DB 'SELECT s.name FROM results AS r JOIN sources AS s ON r.package_id=s.id WHERE r.status="unreproducible" AND s.suite="sid" ORDER BY r.build_date DESC' | xargs echo) echo "${BAD}" | dd-list --stdin --sources $SOURCES > $TMPFILE || true |