summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvipsk/hps.c
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2007-05-31 00:53:31 +0000
committerKarl Berry <karl@freefriends.org>2007-05-31 00:53:31 +0000
commit4c9dad70b8b217133abb17746a96d35ac8d2a664 (patch)
tree6237aead45f582998ef54ae4964e3163fe049a2d /Build/source/texk/dvipsk/hps.c
parent821fbb24bdf070d591119a05762a5eea0a713d8f (diff)
remove head.tmp and body.tmp unless debugging
git-svn-id: svn://tug.org/texlive/trunk@4380 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dvipsk/hps.c')
-rw-r--r--Build/source/texk/dvipsk/hps.c7
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/texk/dvipsk/hps.c b/Build/source/texk/dvipsk/hps.c
index 2468e467319..89a9aed96f5 100644
--- a/Build/source/texk/dvipsk/hps.c
+++ b/Build/source/texk/dvipsk/hps.c
@@ -477,6 +477,9 @@ void stamp_external P2C(char *, s, Hps_link *, pl)
}
void finish_hps P1H(void) {
+ extern int dvips_debug_flag;
+ extern int debug_flag;
+
fclose(bitfile) ;
set_bitfile("head.tmp",1);
do_targets() ;
@@ -489,6 +492,10 @@ void finish_hps P1H(void) {
removecomments = 0;
copyfile("head.tmp") ;
copyfile("body.tmp") ;
+ if (dvips_debug_flag == 0 && debug_flag == 0) {
+ unlink("head.tmp");
+ unlink("body.tmp");
+ }
}
void set_bitfile P2C(char *, s, int, mode)