summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvipsk/beginfontk1.test
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/dvipsk/beginfontk1.test')
-rwxr-xr-xBuild/source/texk/dvipsk/beginfontk1.test4
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/dvipsk/beginfontk1.test b/Build/source/texk/dvipsk/beginfontk1.test
index 91fe8ae357d..8f9d92349d2 100755
--- a/Build/source/texk/dvipsk/beginfontk1.test
+++ b/Build/source/texk/dvipsk/beginfontk1.test
@@ -1,4 +1,6 @@
-#! /bin/sh
+#! /bin/sh -vx
+# $Id$
+# Public domain.
# ensure -K1 does not remove newline after %%BeginFont line.
# Report from T S, 1 Jan 2010 16:32:16.