diff options
Diffstat (limited to 'Build/source/texk/dvipdfm-x/xdvipdfm-bb.test')
| -rwxr-xr-x | Build/source/texk/dvipdfm-x/xdvipdfm-bb.test | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/dvipdfm-x/xdvipdfm-bb.test b/Build/source/texk/dvipdfm-x/xdvipdfm-bb.test index 81d5c00b1c7..6b08f7ece1b 100755 --- a/Build/source/texk/dvipdfm-x/xdvipdfm-bb.test +++ b/Build/source/texk/dvipdfm-x/xdvipdfm-bb.test @@ -1,4 +1,4 @@ -#! /bin/sh +#! /bin/sh -vx # $Id$ # Copyright 2017 Karl Berry <tex-live@tug.org> # Copyright 2013, 2014 Peter Breitenlohner <tex-live@tug.org> |