Jens Petersen 62ae47ba61 build.sh: keep a copy of the previous build.log for reference ... This should be quite useful specially when looping with run-nightly.sh since otherwise the old log file is immediately lost. We might consider later if we want to keep more logs around, though with nightly they would build up quite fast [skip ci]		2022-03-19 12:13:24 +08:00
..
dockerfiles	add dockerfiles/lts-19.0 after the fact	2022-03-18 21:17:59 +08:00
.gitignore	Reduce ignore list	2020-02-09 14:24:13 +02:00
build.sh	build.sh: keep a copy of the previous build.log for reference	2022-03-19 12:13:24 +08:00
run-nightly.sh	More cleanups to build script	2020-02-09 14:08:59 +02:00