diff options
| -rwxr-xr-x | Build/source/texk/detex/detex.test | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/Build/source/texk/detex/detex.test b/Build/source/texk/detex/detex.test index e4f796b8c85..ae1ce06dae8 100755 --- a/Build/source/texk/detex/detex.test +++ b/Build/source/texk/detex/detex.test @@ -18,15 +18,20 @@ $DIFF --strip-trailing-cr $0 $0 \ echo '#' >texmf.cnf +rc=0 + +$_detex -v + $_detex $srcdir/test.tex >test.out \ && $DIFF test.out $srcdir/test.lout \ - || exit 1 + || rc=1 $_detex -l $srcdir/test.tex >test.out \ && $DIFF test.out $srcdir/test.lout \ - || exit 2 + || rc=2 $_detex -t $srcdir/test.tex >test.out \ && $DIFF test.out $srcdir/test.tout \ - || exit 3 + || rc=3 +exit $rc |