version 1.32, 2003/06/12 14:36:43 |
version 1.33, 2003/06/18 21:08:07 |
|
|
/* main.c */ |
/* main.c */ |
extern void outputstr(const char *); |
extern void outputstr(const char *); |
extern int builtin_type(const char *); |
extern int builtin_type(const char *); |
extern char *builtin_realname(int); |
|
extern void do_emit_synchline(void); |
extern void do_emit_synchline(void); |
#define emit_synchline() do { if (synch_lines) do_emit_synchline(); } while(0) |
#define emit_synchline() do { if (synch_lines) do_emit_synchline(); } while(0) |
|
|