2016-03-20 12:40:20 +01:00
|
|
|
# Overview
|
|
|
|
|
|
|
|
This directory contains some git tools used by RIOT's build system
|
|
|
|
|
|
|
|
## git-cache
|
|
|
|
|
|
|
|
Simple git caching script, from https://github.com/kaspar030/git-cache
|
2017-01-11 16:07:42 +01:00
|
|
|
If git-cache has not been initialized, it will fall back to do checkouts from
|
|
|
|
the remote repository.
|
|
|
|
Otherwise it will transparently cache repositories in it's cache folder,
|
|
|
|
ideally not touching the network if a requested commit / tag can be cloned from
|
|
|
|
the cache.
|
2016-03-20 12:40:20 +01:00
|
|
|
|
|
|
|
In order to set up the cache, do:
|
|
|
|
|
|
|
|
- install the git-cache binary into path.
|
|
|
|
This will make the script available as "git cache ...".
|
|
|
|
Alternatively, directly execute it.
|
2017-01-11 16:07:42 +01:00
|
|
|
- run "git cache init" (or "dist/tools/git/git-cache init", which initializes a
|
|
|
|
git cache in ${HOME}/.gitcache.
|
2016-03-20 12:40:20 +01:00
|
|
|
The used path can be overridden using the "GIT_CACHE_DIR" environment
|
|
|
|
variable.
|
|
|
|
The cache repository will be used to cache multiple remote repositories.
|