aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--jenkins/bisect.jpl2
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}
""")