diff options
Diffstat (limited to 'Build/source/texk/dvipsk/same-name.test')
-rwxr-xr-x | Build/source/texk/dvipsk/same-name.test | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Build/source/texk/dvipsk/same-name.test b/Build/source/texk/dvipsk/same-name.test index 77b8f0fdd66..4459ab3e48e 100755 --- a/Build/source/texk/dvipsk/same-name.test +++ b/Build/source/texk/dvipsk/same-name.test @@ -1,6 +1,7 @@ -#! /bin/sh +#! /bin/sh -vx +# $Id$ +# Public domain. # Test oname == iname. -# Code changed by Akira Kakuto, 2013-03-18. rm -f same-name.dvi same-name.out |