diff options
author | 2016-04-20 16:34:58 -0700 | |
---|---|---|
committer | 2016-05-02 14:34:59 +0000 | |
commit | b5679e5587710bf52a8ca8aa8fc18c1a1cfd206c (patch) | |
tree | f0565ca08e407365d7b2bf2a670b632145143080 /ci | |
parent | ad3e0aa93a4cf9f612c7608a1acbdc7897c07db6 (diff) |
Correct docker cleaning
So there was a very stupid mistake in the docker container cleaning
that this patch fixes.
Signed-off-by: Stanislaw Kardach <stanislaw.kardach@caviumnetworks.com>
(cherry picked from commit 6bf15cd4182cdab5606f4198f3eb30f452345648)
Change-Id: I3e37100af715ff1e1aa4a8303df8af3004eb8723
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions