summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvipsk/protos.h
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2021-02-08 14:45:56 +0000
committerKarl Berry <karl@freefriends.org>2021-02-08 14:45:56 +0000
commit6d9549e0bcf200ceaf3d7e30e2efb4e84daee441 (patch)
tree7a85ecae1def17e73726a43345da1c29b1967854 /Build/source/texk/dvipsk/protos.h
parent7b52bd0a112c2d889df520f6b58ea673d7eee9ab (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.h3
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;