Merge: share/libgc: option to use a local version of the source pkgs
authorJean Privat <jean@pryen.org>
Thu, 21 May 2015 00:32:38 +0000 (20:32 -0400)
committerJean Privat <jean@pryen.org>
Thu, 21 May 2015 00:32:38 +0000 (20:32 -0400)
commitaa935cdfd61e7d1efec06a8fb55ed8752d4d776b
tree5b1972b87c215834b5745b1213e9db4fd9086d8a
parent77e92d228da5a9da74663a5146a3b2d40e774fc1
parent3d7943d0e6e0ae69dbb6d47c5a1e4619ad3d5af5
Merge: share/libgc: option to use a local version of the source pkgs

This is only for tests servers, and should not be of any use to the regular user who doesn't trash and reclone the Nit repo many times each day.

So on Pratchett, @privat , you could download both source packages in the home directory
and the script will use and reuse them instead of repeatedly downloading them. I can change the directory to whatever you prefer, maybe ~/Downloads? or ~/.cache?

It will save us from some false CI test failure, like in http://gresil.org/jenkins/job/CI_github/2648/, and we will stop spamming the server.

Pull-Request: #1358
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>