diff options
Diffstat (limited to 'Build/source/texk/dvipsk/test-dvips.test')
-rwxr-xr-x | Build/source/texk/dvipsk/test-dvips.test | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/dvipsk/test-dvips.test b/Build/source/texk/dvipsk/test-dvips.test index 253515a5ce7..2ce1dff2b71 100755 --- a/Build/source/texk/dvipsk/test-dvips.test +++ b/Build/source/texk/dvipsk/test-dvips.test @@ -1,4 +1,6 @@ -#! /bin/sh +#! /bin/sh -vx +# $Id$ +# Public domain. rm -f mtest.ps |