diff options
| author |   Corentin LABBE <clabbe@baylibre.com> | 2020-08-10 10:54:38 +0200 |
|---|---|---|
| committer | Corentin LABBE <clabbe@baylibre.com> | 2020-08-10 13:19:56 +0200 |
| commit | 92236d15fc6d88a2f22524ce11691c29deaebd82 (patch) | |
| tree | c5271210d2c53e6c9430f77a8acddd9bdc722e4d /skiplists | |
| parent | fcefef408d150eb3fc3d63efdcc370973b54eaeb (diff) | |
SPEC-3533: unzip wgt files in a dedicated directory
For finding wgtname, we download an index.html and the WGT archive could
contains a file with the same name and unzip complain about replacing a file.
The solution is to unzip in an empty dedicated directory.
Change-Id: I9680eb8909256e749a2b5177ed1d942add841af5
BUG-AGL: SPEC-3533
Signed-off-by: Corentin LABBE <clabbe@baylibre.com>
Diffstat (limited to 'skiplists')
0 files changed, 0 insertions, 0 deletions