diff options
| author |   Markos Chandras <mchandras@suse.de> | 2018-04-06 20:33:11 +0100 |
|---|---|---|
| committer | Markos Chandras <mchandras@suse.de> | 2018-05-18 11:20:53 +0100 |
| commit | 91b17d42fb68b7223196240e0ee0f33cce8928e7 (patch) | |
| tree | c3640acfa5045f323444cc6bbf8fad587c3ff8ba /.gitreview | |
| parent | f95ad15a811c3111b42c09f569d0f1f303a8b597 (diff) | |
xci: file: xci-lib.sh: Avoid sourcing xci-lib.sh twice
The file can be sourced from multiple places so we need to avoid
sourcing it twice.
Change-Id: I7d47f3d7e461d90d5456c95a1f7a791b4e3a2bde
Signed-off-by: Markos Chandras <mchandras@suse.de>
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions