diff options
Diffstat (limited to 'Build/source/texk/web2c/tiedir/tie-w2c.ch')
| -rw-r--r-- | Build/source/texk/web2c/tiedir/tie-w2c.ch | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/tiedir/tie-w2c.ch b/Build/source/texk/web2c/tiedir/tie-w2c.ch index 37d5bd7b21d..0d1c4fbb44f 100644 --- a/Build/source/texk/web2c/tiedir/tie-w2c.ch +++ b/Build/source/texk/web2c/tiedir/tie-w2c.ch @@ -28,6 +28,18 @@ typedef char* string; /* we don't think that anyone needs more than 32 change files, @z +@x +@d print(a) fprintf(term_out,a) /* `|print|' means write on the terminal */ +@y +@d print(a) fprintf(term_out,"%s",a) /* `|print|' means write on the terminal */ +@z + +@x +@d print_ln(v) {fprintf(term_out,v);term_new_line;} +@y +@d print_ln(v) {fprintf(term_out,"%s",v);term_new_line;} +@z + @x -- add to global includes. #include <stdio.h> @y @@ -163,4 +175,4 @@ int main (int argc, string *argv) @y default: /* Anything except spotless, troublesome, or fatal is a bug. */ case fatal: msg="That was a fatal error, my friend"; break; -@z
\ No newline at end of file +@z |