continuous: Reset linux sources in the bisect-run script

Without this, git bisect run sometimes fails complaining about modified
sources.

diff --git a/continuous/steps/bisect-run.sh b/continuous/steps/bisect-run.sh
index b4826c346d6d9717cdd32998b61da711b8518a71..2785abd30d363773f2a35489c5ea30d7d5d6368a 100755 (executable)
--- a/continuous/steps/bisect-run.sh
+++ b/continuous/steps/bisect-run.sh
@@ -4,6 +4,9 @@ set -e
 set -x
 
 cd $(dirname $0)
+
+trap "cd $PWD/linux; git reset --hard" 0
+
 ./11-patch
 ./20-config
 ./30-compile