#! /bin/sh
-# $Id$
+# $Id: git-bisect-run,v 1.3 2010/01/23 00:14:18 jkratoch Exp $
set -ex
test -n "$*"
git reset --hard
git clean -dfx
# patch -p1 <~/t/bisect.patch || :
-errs12 -s --fast --disable-werror --without-python --disable-plugins --disable-gdbserver --disable-gold
+errs12 -s --fast --disable-werror --without-python --disable-plugins $(: echo --disable-gdbserver) --disable-gold
#errs12 -s --fast --disable-gold
git reset --hard
trap '' EXIT
"$@"
rc=$?
set -e
-#git reset --hard
+git reset --hard
#git clean -dfx
echo rc=$rc
exit $rc