diff options
| author | Erich Eckner <git@eckner.net> | 2017-10-27 21:32:07 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-10-27 21:32:07 +0200 |
| commit | 57ef288b55bc70197738fd50ad381325724f509d (patch) | |
| tree | fec27820f0af9cbbcc63953bb40017595255daeb /bin | |
| parent | 53e22c15a2077c8a479acde94cfe6b24bb8a7905 (diff) | |
| download | builder-57ef288b55bc70197738fd50ad381325724f509d.tar.xz | |
bin/sanity-check: put date/time on website
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/sanity-check | 1 |
1 files changed, 1 insertions, 0 deletions
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() { '<title>result of archlinux32 build master'"'"'s sanity check</title>' \ '</head>' \ '<body>' + printf '%s<br>\n' "$(date)" sed 's|$|<br>|' "${tmp_dir}/messages" printf '%s\n' \ '</body>' \ |