#! /bin/sh
# $Id$

set -ex
test -n "$*"
trap 'git reset --hard;git clean -df;exit 200' EXIT
git reset --hard
git clean -df
errs1 -s --fast --disable-werror
errs2
trap '' EXIT
set +e
"$@" 
rc=$?
set -e
git reset --hard
git clean -df
echo rc=$rc
exit $rc