# $Id$
set -ex
-trap 'exit 125' EXIT
+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
-exec "$@"
+set +e
+"$@"
+rc=$?
+set -e
+git reset --hard
+git clean -df
+echo rc=$rc
+exit $rc