diff options
author | 2017-09-07 17:00:46 +0200 | |
---|---|---|
committer | 2017-09-08 09:47:22 +0200 | |
commit | 4e79061f74a03dd9274f88ff42a7e2c0d6adae6c (patch) | |
tree | 6a390b7afbe4d5419ae2b375a9b746792e5767f2 /src/main/java/com/google/devtools/build/lib/runtime | |
parent | d6a0c413b17e54215ce17707184ba7c7295014a4 (diff) |
Fix debian-stretch test
It works locally, so let see if the problems where only some
docker caching.
Issue #2412
Change-Id: I8f0e00504d17ad1b66b188ba1413ad0df3d3d53d
PiperOrigin-RevId: 167860071
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/runtime')
0 files changed, 0 insertions, 0 deletions