#! /bin/sh
test "${ZSH_VERSION+set}" = set && alias -g '${1+"$@"}'='"$@"'
cd /scratch/m4/tests
exec ${CONFIG_SHELL-/bin/bash} ./testsuite -v -d  2 ${1+"$@"}
exit 1
