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