diff options
author | Lukacs Berki <lberki@google.com> | 2015-11-25 15:48:16 +0000 |
---|---|---|
committer | Lukacs Berki <lberki@google.com> | 2015-11-25 16:08:21 +0000 |
commit | f1ffe3621002231fe4828fe4ecfd5f64df9d2052 (patch) | |
tree | fecaf49e7cf95eb20e9ef14a3afbfff2bfd8aab8 /src/main/java/com/google/devtools/build/lib/packages/BuildFileNotFoundException.java | |
parent | 1ee9441f1839f62d82012636b1bfde6e8561c979 (diff) |
Make external repository implementations not re-fetch things on server restart.
This is accomplished by saving a proto of the repository rule in the output tree, then comparing it to that of the previous version. This makes HTTP_DOWNLOAD_CHECKER somewhat superfluous because it only matters if the external repository directory is modified manually.
Local repository implementations are not included, mainly because the symlinking is cheap (maybe they should be for reasons of symmetry?)
--
MOS_MIGRATED_REVID=108706396
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/packages/BuildFileNotFoundException.java')
0 files changed, 0 insertions, 0 deletions