diff options
author | 2017-02-15 21:10:37 +0100 | |
---|---|---|
committer | 2017-02-15 21:10:37 +0100 | |
commit | 5fe52af0d80ceaa4fbef47f46e9c68df6fc4824d (patch) | |
tree | 987a641a3aaa273e4e0dff8410f44e953d644794 /jenkins-scripts/jenkins-init-script.sh | |
parent | 0cf8e19bc71a2a58023c589ce0e31aa48c5bb01a (diff) |
Another change in the shell commands to avoid jjb to group the commands in the wrong way
Change-Id: I4539b96564cc4d30451cca9aa62b8c3c7249c2f3
Signed-off-by: Jan-Simon Möller <jsmoeller@linuxfoundation.org>
Diffstat (limited to 'jenkins-scripts/jenkins-init-script.sh')
0 files changed, 0 insertions, 0 deletions