diff --git a/test/check.sh b/test/check.sh index ac97b0671..8a2d383b2 100755 --- a/test/check.sh +++ b/test/check.sh @@ -18,7 +18,7 @@ runcheck test/test03.php "$@" runcheck test/test04.php "$@" runcheck test/test05.php "$@" runcheck test/test06.php "$@" -#runcheck test/test07.php "$@" +runcheck test/test07.php "$@" #if $all; then # runcheck test/test08.php "$@" #fi