Fix errs12 vs. errs1.
[nethome.git] / bin / git-bisect-run
1 #! /bin/sh
2 # $Id$
3
4 set -ex
5 test -n "$*"
6 trap 'git reset --hard;git clean -df;exit 200' EXIT
7 git reset --hard
8 git clean -df
9 errs12 -s --fast --disable-werror
10 trap '' EXIT
11 set +e
12 "$@" 
13 rc=$?
14 set -e
15 git reset --hard
16 git clean -df
17 echo rc=$rc
18 exit $rc