diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-25 06:31:33 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-04-25 13:08:25 +0200 |
| commit | b50c0ee01b833dcd182d09048da27e52359b1d41 (patch) | |
| tree | 82e8659053c5789bcdbf7fb3b7e1348aecd38c21 /bin | |
| parent | 9c1c845a51249714a528133a65ba89c70469e472 (diff) | |
| download | jenkins.debian.net-b50c0ee01b833dcd182d09048da27e52359b1d41.tar.xz | |
reproducible: maintenance: pretty print removed packages too
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_maintenance.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index ab5206f6..909ead5f 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -192,7 +192,7 @@ if grep -q '|' $PACKAGES ; then echo echo "Warning: found files relative to old packages, no more in the archive:" echo "Removing these removed packages from database:" - cat $PACKAGES + sqlite3 -init $INIT -header -column ${PACKAGES_DB} "$QUERY" 2> /dev/null || echo "Warning: SQL query '$QUERY' failed." echo for pkg in $(cat $PACKAGES) ; do PKGNAME=$(echo "$pkg" | cut -d '|' -f 1) |