diff options
author | Karl Berry <karl@freefriends.org> | 2021-02-08 14:45:56 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-02-08 14:45:56 +0000 |
commit | 6d9549e0bcf200ceaf3d7e30e2efb4e84daee441 (patch) | |
tree | 7a85ecae1def17e73726a43345da1c29b1967854 /Build/source/texk/dvipsk/protos.h | |
parent | 7b52bd0a112c2d889df520f6b58ea673d7eee9ab (diff) |
dvips: exit with bad status if an image is not found
git-svn-id: svn://tug.org/texlive/trunk@57678 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dvipsk/protos.h')
-rw-r--r-- | Build/source/texk/dvipsk/protos.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Build/source/texk/dvipsk/protos.h b/Build/source/texk/dvipsk/protos.h index 0457b9f86d4..1cc8b8ba090 100644 --- a/Build/source/texk/dvipsk/protos.h +++ b/Build/source/texk/dvipsk/protos.h @@ -1,5 +1,7 @@ #ifndef _PROTOS_H_ +/* see dvips.h for copyright notice */ + #define _PROTOS_H_ /* some types need declaration before being used */ @@ -258,6 +260,7 @@ extern int pagecounter; #endif /* global variables from dvips.c */ +extern int found_problems; extern char *downloadedpsnames[]; extern int unused_top_of_psnames; extern fontdesctype *fonthead; |