summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvi2tty
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2017-11-15 00:36:56 +0000
committerKarl Berry <karl@freefriends.org>2017-11-15 00:36:56 +0000
commit275b63e13e2dfb447282e27f14bdd50ec62724ec (patch)
treed7e5aea68f1f9ec6e89266a6995c58de33123054 /Build/source/texk/dvi2tty
parente4a26cb4b77435863d8c9fd39b2dbc3c14651f73 (diff)
use #!/bin/sh -vx for nontrivial shell *.test files, so <testname>.log is more useful
git-svn-id: svn://tug.org/texlive/trunk@45809 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dvi2tty')
-rwxr-xr-xBuild/source/texk/dvi2tty/disdvi.test7
-rwxr-xr-xBuild/source/texk/dvi2tty/dvi2tty.test7
2 files changed, 8 insertions, 6 deletions
diff --git a/Build/source/texk/dvi2tty/disdvi.test b/Build/source/texk/dvi2tty/disdvi.test
index 67c8c0b9ab5..13e5d8b7fdf 100755
--- a/Build/source/texk/dvi2tty/disdvi.test
+++ b/Build/source/texk/dvi2tty/disdvi.test
@@ -1,6 +1,7 @@
-#! /bin/sh
-
-# Copyright (C) 2012 Peter Breitenlohner <tex-live@tug.org>
+#! /bin/sh -vx
+# $Id$
+# Copyright 2017 Karl Berry <tex-live@tug.org>
+# Copyright 2012 Peter Breitenlohner <tex-live@tug.org>
# You may freely use, modify and/or distribute this file.
test_src=$srcdir/$DVI2TTY_TREE/test
diff --git a/Build/source/texk/dvi2tty/dvi2tty.test b/Build/source/texk/dvi2tty/dvi2tty.test
index 2bd33f7a0ed..5a5a09873e4 100755
--- a/Build/source/texk/dvi2tty/dvi2tty.test
+++ b/Build/source/texk/dvi2tty/dvi2tty.test
@@ -1,6 +1,7 @@
-#! /bin/sh
-
-# Copyright (C) 2010-2012 Peter Breitenlohner <tex-live@tug.org>
+#! /bin/sh -vx
+# $Id$
+# Copyright 2017 Karl Berry <tex-live@tug.org>
+# Copyright 2010-2012 Peter Breitenlohner <tex-live@tug.org>
# You may freely use, modify and/or distribute this file.
test_src=$srcdir/$DVI2TTY_TREE/test