diff options
Diffstat (limited to 'Build/source/texk/web2c/ctangleboot.cin')
-rw-r--r-- | Build/source/texk/web2c/ctangleboot.cin | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/Build/source/texk/web2c/ctangleboot.cin b/Build/source/texk/web2c/ctangleboot.cin index e6c504fe49d..83f928c8e12 100644 --- a/Build/source/texk/web2c/ctangleboot.cin +++ b/Build/source/texk/web2c/ctangleboot.cin @@ -100,6 +100,7 @@ #define show_banner flags['b'] #define show_progress flags['p'] #define show_happiness flags['h'] +#define temporary_output flags['t'] #define make_xrefs flags['x'] \ #define update_terminal fflush(stdout) @@ -264,14 +265,14 @@ extern boolean change_pending; extern boolean print_where; /*:12*//*13:*/ -#line 200 "cwebdir/comm-w2c.h" +#line 201 "cwebdir/comm-w2c.h" extern int argc; extern char**argv; extern boolean flags[]; /*:13*//*14:*/ -#line 212 "cwebdir/comm-w2c.h" +#line 213 "cwebdir/comm-w2c.h" extern FILE*C_file; extern FILE*tex_file; @@ -281,7 +282,7 @@ extern FILE*check_file; extern FILE*active_file; /*:14*//*15:*/ -#line 222 "cwebdir/comm-w2c.h" +#line 223 "cwebdir/comm-w2c.h" extern void common_init(void); extern void print_stats(void); @@ -763,13 +764,13 @@ if((C_file= fopen(C_file_name,"r"))!=NULL){ #line 779 "cwebdir/ctang-w2c.ch" char x[BUFSIZ],y[BUFSIZ]; -int x_size,y_size,comparison; +int x_size,y_size,comparison= false; if((check_file= fopen(check_file_name,"r"))==NULL) fatal(_("! Cannot open output file "),check_file_name); -/*100:*/ +if(temporary_output)/*100:*/ #line 794 "cwebdir/ctang-w2c.ch" do{ @@ -837,7 +838,7 @@ if((check_file= fopen(check_file_name,"r"))==NULL) fatal(_("! Cannot open output file "),check_file_name); -/*100:*/ +if(temporary_output)/*100:*/ #line 794 "cwebdir/ctang-w2c.ch" do{ |