diff options
author | 2019-04-11 08:36:06 +0000 | |
---|---|---|
committer | 2019-04-15 09:51:41 +0000 | |
commit | cc0c2870a18fb74a56410eca2d1870bddc945397 (patch) | |
tree | 8d12ec472a3a1f79f25ac341b09d1b5b0eb8866e /resources/libraries/bash/shell | |
parent | 18422fd2221c2474f07450280a7af1a06b1c2207 (diff) |
Add output.xml with only INFO logging leve
- Useful for post-processing.
Change-Id: I6f71087f8c6f6d66fd86207d5df9abd10e94f855
Signed-off-by: Peter Mikus <pmikus@cisco.com>
Diffstat (limited to 'resources/libraries/bash/shell')
0 files changed, 0 insertions, 0 deletions