# $Id$
set -ex
-trap 'exit 125' EXIT
+test -n "$*"
+trap 'git reset --hard;git clean -df;exit 125' EXIT
git reset --hard
git clean -df
-errs1 -s --fast --disable-werror
-errs2
+errs12 -s --fast --disable-werror --without-python --disable-plugins
trap '' EXIT
-exec "$@"
+set +e
+"$@"
+rc=$?
+set -e
+#git reset --hard
+#git clean -df
+echo rc=$rc
+exit $rc