diff options
Diffstat (limited to 't/txinfo33.sh')
| -rwxr-xr-x | t/txinfo33.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/t/txinfo33.sh b/t/txinfo33.sh index d35d0d319..b457cb017 100755 --- a/t/txinfo33.sh +++ b/t/txinfo33.sh @@ -18,7 +18,7 @@ # Similar to txinfo25.test. required='makeinfo tex texi2dvi dvips' -. ./defs || Exit 1 +. ./defs || exit 1 mkdir sub @@ -84,8 +84,8 @@ test -f sub/another.ps $MAKE mostlyclean -ls *.aux && Exit 1 -ls sub/*.aux && Exit 1 +ls *.aux && exit 1 +ls sub/*.aux && exit 1 test -f main.dvi test -f main.ps |