diff options
| author | Holger Levsen <holger@layer-acht.org> | 2017-10-01 13:07:41 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-10-01 13:07:41 +0200 |
| commit | abaf2352cc2ed39187b96033a33d739ac8dff6f6 (patch) | |
| tree | 38ba35670898895d8554e2b6091fc9cac9a1c38a /bin/chroot-installation.sh | |
| parent | 9920c6ed1df3baf433f1764553885180ec956c7b (diff) | |
| download | jenkins.debian.net-abaf2352cc2ed39187b96033a33d739ac8dff6f6.tar.xz | |
edu-packages tests: also retry when '^ERROR: Error cloning remote repo' is hit (but only retry 3 times, not 5)
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin/chroot-installation.sh')
0 files changed, 0 insertions, 0 deletions