diff options
| author | Jan-Marek Glogowski <glogow@fbihome.de> | 2021-12-27 21:37:37 +0100 |
|---|---|---|
| committer | Jan-Marek Glogowski <glogow@fbihome.de> | 2021-12-30 00:16:24 +0100 |
| commit | eef42ef32b651a9fd47edd0d8fcb650a2a058831 (patch) | |
| tree | a0d34df4f036eb730ac345b8cf7408d6437ddff1 /ure | |
| parent | 6979fec4c1d0d0c4c99bbf58aa4fd7d0f2be42f4 (diff) | |
oss-fuzz: add more verbose output to build script
* dump git HEAD status on build start
* dump "date -r" and "df -h $OUT $WORK" at various steps
* run "make clean" before autogen.sh, if Makefile exists
Change-Id: I22885f820e81fa46d02699fb5c2129ac5921c5dd
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/127609
Tested-by: Jenkins
Reviewed-by: Jan-Marek Glogowski <glogow@fbihome.de>
Diffstat (limited to 'ure')
0 files changed, 0 insertions, 0 deletions