diff options
-rw-r--r-- | jenkins/bisect.jpl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins/bisect.jpl b/jenkins/bisect.jpl index 4c4bbd9..715136d 100644 --- a/jenkins/bisect.jpl +++ b/jenkins/bisect.jpl @@ -204,7 +204,7 @@ git bisect reset || echo -n git checkout --detach HEAD || echo -n git branch -D ${params.KERNEL_BRANCH} || echo -n for t in \$(git tag -l | grep ${env.JOB_NAME}); do git tag -d \$t; done -git fetch ${params.KERNEL_TREE} ${params.KERNEL_BRANCH} --tags +git fetch ${params.KERNEL_TREE} ${params.KERNEL_BRANCH} --tags -f git checkout ${params.BAD_COMMIT} -b ${params.KERNEL_BRANCH} git symbolic-ref HEAD refs/heads/${params.KERNEL_BRANCH} """) |