git://git.jankratochvil.net
/
nethome.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
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