Fini Jastrow 7ebbc4e173 docker: Include logfile in output ... [why] Some valuable information might be in the logfile, that gets created only on demand. [how] Copy it over to the output if existing. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>		2024-02-05 16:35:19 +01:00
..
scripts	docker: Include logfile in output	2024-02-05 16:35:19 +01:00