diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-11-11 15:50:38 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-11-11 15:50:38 +0100 |
| commit | 0a140f1db20aa10c07c9c08c08ddda62c7730ebf (patch) | |
| tree | bc8590ff9190a7a5e1e26403d193183377f3cac0 | |
| parent | 0a18a614ff8301e6d94a9464673bcbb5b4236702 (diff) | |
| download | jenkins.debian.net-0a140f1db20aa10c07c9c08c08ddda62c7730ebf.tar.xz | |
reproducible: improve job output
| -rwxr-xr-x | bin/reproducible_html_repository_comparison.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/bin/reproducible_html_repository_comparison.sh b/bin/reproducible_html_repository_comparison.sh index 2de8ab04..7ed8d080 100755 --- a/bin/reproducible_html_repository_comparison.sh +++ b/bin/reproducible_html_repository_comparison.sh @@ -50,7 +50,7 @@ custom_curl http://reproducible.alioth.debian.org/debian/Sources $SOURCES custom_curl http://reproducible.alioth.debian.org/debian/Packages $PACKAGES SOURCEPKGS=$(grep-dctrl -n -s Package -r -FPackage . $SOURCES | sort -u) for PKG in $SOURCEPKGS ; do - echo "Processing $PKG..." + echo "$(date -u) - Processing $PKG..." if [ "${PKG:0:3}" = "lib" ] ; then PREFIX=${PKG:0:4} else @@ -228,8 +228,7 @@ for PKG in $SOURCEPKGS ; do write_row " <td>$CSID</td>" write_row " <td>$CEXP</td>" write_row "</tr>" - echo "TABLE_TODO: $(ls -la $TABLE_TODO|cut -d " " -f5) bytes" - echo "TABLE_DONE: $(ls -la $TABLE_DONE|cut -d " " -f5) bytes" + echo "$(date -u) - Package done. (TABLE_TODO: $(ls -la $TABLE_TODO|cut -d " " -f5) bytes - TABLE_DONE: $(ls -la $TABLE_DONE|cut -d " " -f5) bytes)" done cat $TABLE_TODO >> $PAGE write_page "</table></p>" |