diff options
| author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2019-01-11 11:28:51 +0000 |
|---|---|---|
| committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2019-01-13 09:41:45 +0000 |
| commit | 9bb3a33d9562b47a9458d72b4d2e1dadad0e9d91 (patch) | |
| tree | 9e4507b82c5faecfd074815b35bf2bcf06286d2f /jenkins-helpers.sh | |
| parent | 72d44507be59f6b19d138079688a14785b485d1a (diff) | |
tcwg_kernel-bisect.sh: Add support to reproduce bisects.
Change-Id: Ie2e0f6db672207123a9903eb7f60de23f316f60a
Diffstat (limited to 'jenkins-helpers.sh')
| -rw-r--r-- | jenkins-helpers.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index 3f8135b3..83f4aee4 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -766,6 +766,7 @@ EOF __manifest_filename="$dir/$(basename "$__manifest_filename")" rm -f "$__manifest_filename" cat <<EOF | manifest_out +# Start option processing jenkins_scripts_rev=$(git_rev_parse $(dirname "$0") HEAD) EOF num=2 @@ -806,6 +807,9 @@ EOF done done eval "SHIFT_CONVERTED_ARGS=$total" + cat <<EOF | manifest_out +# Processed $total options +EOF } # Check that varible names in "$@" are set |