diff options
Diffstat (limited to 'Build/source/texk/dvipsk/same-name.test')
-rwxr-xr-x | Build/source/texk/dvipsk/same-name.test | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Build/source/texk/dvipsk/same-name.test b/Build/source/texk/dvipsk/same-name.test new file mode 100755 index 00000000000..4459ab3e48e --- /dev/null +++ b/Build/source/texk/dvipsk/same-name.test @@ -0,0 +1,14 @@ +#! /bin/sh -vx +# $Id$ +# Public domain. +# Test oname == iname. + +rm -f same-name.dvi same-name.out + +./dvips same-name.dvi -o same-name.dvi 2>same-name.out \ + && exit 1 + +grep 'Output name should be different from input name' \ + same-name.out || exit 1 + +exit 0 |