diff options
Diffstat (limited to 'Build/tests/largefile/largepdf.test')
| -rwxr-xr-x | Build/tests/largefile/largepdf.test | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/tests/largefile/largepdf.test b/Build/tests/largefile/largepdf.test index 25d59c8a6bf..2f2c40b7103 100755 --- a/Build/tests/largefile/largepdf.test +++ b/Build/tests/largefile/largepdf.test @@ -1,6 +1,6 @@ #! /bin/sh # -# Copyright (C) 2012 Peter Breitenlohner <tex-live@tug.org> +# Copyright (C) 2012, 2013 Peter Breitenlohner <tex-live@tug.org> # You may freely use, modify and/or distribute this file. usage () { @@ -21,7 +21,7 @@ PDFTEX=`dirname "$1"`/`basename "$1"` echo testing "'$PDFTEX'" echo -"$PDFTEX" -ini largepdf && "$PDFTEX" -fmt=largepdf largepdf +"$PDFTEX" -ini largepdf && mv -f largepdf.{,ini}log && "$PDFTEX" -fmt=largepdf largepdf echo if grep '^Output written.*(3000 pages,' largepdf.log >/dev/null; then |