This will help saving some traffic on the server, since most of the libraries are shared between all platforms. The builders delete all files when done.
The provided script can clean the cache directory. (intended to be run by jenkins once a month and after updates)
(The ini file is the same as in the other PR and can be deleted after merging any of them.)
This will help saving some traffic on the server, since most of the libraries are shared between all platforms. The builders delete all files when done. The provided script can clean the cache directory. (intended to be run by jenkins once a month and after updates)
(The
ini
file is the same as in the other PR and can be deleted after merging any of them.)