diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.test')
-rwxr-xr-x | Build/source/texk/web2c/pdftexdir/pdftex.test | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.test b/Build/source/texk/web2c/pdftexdir/pdftex.test index bce3f17791a..0bd27896d0b 100755 --- a/Build/source/texk/web2c/pdftexdir/pdftex.test +++ b/Build/source/texk/web2c/pdftexdir/pdftex.test @@ -1,10 +1,11 @@ #! /bin/sh -vx -# $Id$ -# Copyright 2017 Karl Berry <tex-live@tug.org> +# $Id: pdftex.test 804 2018-05-17 22:29:15Z karl $ +# Copyright 2017-2018 Karl Berry <tex-live@tug.org> # Copyright 2010 Peter Breitenlohner <tex-live@tug.org> # You may freely use, modify and/or distribute this file. -# Not really a test, just making sure the program executes. - -./pdftex -version || exit 1 +# Make sure the program executes. +./pdftex --version || exit 1 +./pdftex --help || exit 1 +exit 0 |