diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-11-18 08:44:50 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-11-18 08:44:50 +0000 |
commit | 4cc10efa40984467840f0d8380415c45acc68c7a (patch) | |
tree | f9035dc4317c72f26a469136329646be02ad8e1e /Build/source/texk/seetexk/seetexk.test | |
parent | 3727ee24040b6c00c121694a925988c49dac31dc (diff) |
dviselect: Remove dvi files with 0 pages and signal failure (from Akira)
git-svn-id: svn://tug.org/texlive/trunk@32175 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/seetexk/seetexk.test')
-rwxr-xr-x | Build/source/texk/seetexk/seetexk.test | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/Build/source/texk/seetexk/seetexk.test b/Build/source/texk/seetexk/seetexk.test index e9b02b4c2dd..41abfb8c576 100755 --- a/Build/source/texk/seetexk/seetexk.test +++ b/Build/source/texk/seetexk/seetexk.test @@ -1,9 +1,18 @@ #! /bin/sh -# Copyright (C) 2011 Peter Breitenlohner <tex-live@tug.org> +# Copyright (C) 2011-2013 Peter Breitenlohner <tex-live@tug.org> # You may freely use, modify and/or distribute this file. rm -rf play* +./dviselect =25 $srcdir/tests/play.dvi playsel.dvi \ + 2>playsel.2 \ + && exit 1 + test -r playsel.dvi \ + && exit 1 + diff playsel.2 $srcdir/tests/playnot.2 \ + || exit 1 + +rm -rf play* ./dviselect 15:25 $srcdir/tests/play.dvi playsel.dvi \ 2>playsel.2 \ && diff playsel.2 $srcdir/tests/playsel.2 \ |