This reverts commit c59b38e055ab7444e19e511dcc79cf2d4362b21a.
We kept running out of disk space, and, besides,
the most important caching goes to ~jenkins/.dbuild,
so that we don't have to rebuild projects as long
as they can be found there (with the right hash).
This reverts commit c59b38e055ab7444e19e511dcc79cf2d4362b21a.
We kept running out of disk space, and, besides, the most important caching goes to ~jenkins/.dbuild, so that we don't have to rebuild projects as long as they can be found there (with the right hash).