diff options
| author |   Markos Chandras <mchandras@suse.de> | 2018-09-03 15:45:07 +0100 |
|---|---|---|
| committer | Markos Chandras <mchandras@suse.de> | 2018-09-03 15:45:07 +0100 |
| commit | 3608656e9155d07dabce5a10277245608908ee45 (patch) | |
| tree | f68c814cddab77caa4ca73f4c4d417a61b36a4e6 /jjb/xci/xci-cleanup.sh | |
| parent | 5d844275d78eadc405058b61c291577635c94339 (diff) | |
jjb: xci: Turn on bash debug option
The script does not behave as it should so we need to enable the debug
option in order to debug it properly
Change-Id: I13cd4d027c0d9bb9229466148ea4c913508cba2a
Signed-off-by: Markos Chandras <mchandras@suse.de>
Diffstat (limited to 'jjb/xci/xci-cleanup.sh')
0 files changed, 0 insertions, 0 deletions