diff --git a/tp/tests/run_parser_all.sh b/tp/tests/run_parser_all.sh index f424bbb421..8069d466f6 100755 --- a/tp/tests/run_parser_all.sh +++ b/tp/tests/run_parser_all.sh @@ -46,7 +46,7 @@ check_latex2html_and_tex4ht () if echo "$remaining" | grep '[-]init mediawiki.pm' >/dev/null; then if test "$no_html2wiki" = 'yes' ; then echo "S: (no html2wiki) $current" - continue 2 + return 2 fi fi fi