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
.gitignore
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