3645ecdbc4
build/download: simplify
2023-02-07 07:49:53 +01:00
6f4ce3c69a
build/download: whoops :)
2019-12-12 14:20:57 +01:00
df6a9a0da0
build/download: support distfiles fetch
2019-12-12 14:19:38 +01:00
44f4417854
build/download: this one as well
2019-05-08 06:33:34 +02:00
0df1a58e3e
build/download: add log target as well
2018-09-20 08:49:47 +02:00
21d3bae84e
build: correct image download / upload
2018-03-23 05:44:47 +01:00
2884a5fc8e
build: add SERVER knob and PLUGINSENV
2018-03-17 09:13:29 +01:00
f630892161
build/download: also means we can end up copying directories
2018-03-15 09:03:09 +01:00
7d73b4814b
scripts/nightly: compress logs after run, leave latest/ open
2018-03-15 08:56:49 +01:00
d5319cc130
build/download: another new helper
...
Also fetch logs from a remote build server, but skip all uncompressed
directories because it slows down the download.
Next are two minor modications for nightly logging that reduce the
size of the log history and should compress the logs right after
the build is done.
2018-03-15 08:46:57 +01:00
Franco Fichtner