From 57ef288b55bc70197738fd50ad381325724f509d Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Fri, 27 Oct 2017 21:32:07 +0200 Subject: bin/sanity-check: put date/time on website --- bin/sanity-check | 1 + 1 file changed, 1 insertion(+) diff --git a/bin/sanity-check b/bin/sanity-check index 4bf9145..700301c 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -81,6 +81,7 @@ finish() { 'result of archlinux32 build master'"'"'s sanity check' \ '' \ '' + printf '%s
\n' "$(date)" sed 's|$|
|' "${tmp_dir}/messages" printf '%s\n' \ '' \ -- cgit v1.2.3-70-g09d2