diff options
author | Riccardo Spagni <ric@spagni.net> | 2019-11-03 14:51:52 -0800 |
---|---|---|
committer | Riccardo Spagni <ric@spagni.net> | 2019-11-03 14:51:52 -0800 |
commit | f6201081fa300d53145a29ed91a326b3b0d980bc (patch) | |
tree | 7b24087f721432b72ea095029f05a7724cf6c295 /contrib/gitian/README.md | |
parent | Merge pull request #6084 (diff) | |
parent | gitian: add --rebuild option (diff) | |
download | monero-f6201081fa300d53145a29ed91a326b3b0d980bc.tar.xz |
Merge pull request #6077
240dbb124 gitian: add --rebuild option (Howard Chu)
643860776 Add Android support (Howard Chu)
Diffstat (limited to 'contrib/gitian/README.md')
-rw-r--r-- | contrib/gitian/README.md | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/contrib/gitian/README.md b/contrib/gitian/README.md index 3c40d09e0..4fa393283 100644 --- a/contrib/gitian/README.md +++ b/contrib/gitian/README.md @@ -226,3 +226,19 @@ To get all build options run: ./gitian-build.py --help ``` +Doing Successive Builds +----------------------- + +If you need to do multiple iterations (while developing/testing) you can use the +`--rebuild` option instead of `--build` on subsequent iterations. This skips the +initial check for the freshness of the depends tools. In particular, doing this +check all the time prevents rebuilding when you have no network access. + + +Local-Only Builds +----------------- + +If you need to run builds while disconnected from the internet, make sure you have +local up-to-date repos in advance. Then specify your local repo using the `--url` +option when building. This will avoid attempts to git pull across a network. + |