diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-21 14:22:35 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-04-21 14:25:20 +0200 |
| commit | c2884cb80b82bc83fd60cdf900cdca17cdd738b9 (patch) | |
| tree | 183c7dd3667dbc8198d0fc5824627cbaf9c293c9 | |
| parent | 8f671dfdba262ee892d15e61d74cd5e79b407877 (diff) | |
| download | jenkins.debian.net-c2884cb80b82bc83fd60cdf900cdca17cdd738b9.tar.xz | |
reproducible: maintenance: pretty print sql query results (instead of simple |-separated values)
| -rwxr-xr-x | bin/reproducible_maintenance.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index 35adf24d..f471d134 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -170,9 +170,7 @@ sqlite3 -init $INIT ${PACKAGES_DB} "$QUERY" > $PACKAGES 2> /dev/null || echo "Wa if grep -q '|' $PACKAGES ; then echo echo "Warning: packages found where the build was started more than 36h ago:" - echo "pkg_id|name|date_scheduled|date_build_started" - echo - 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 | cut -d "|" -f1) ; do echo "sqlite3 ${PACKAGES_DB} \"DELETE FROM schedule WHERE package_id = '$PKG';\"" |