diff options
Diffstat (limited to 'emu/port/main.c')
| -rw-r--r-- | emu/port/main.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/emu/port/main.c b/emu/port/main.c index 66ebb6a9..c45a33cf 100644 --- a/emu/port/main.c +++ b/emu/port/main.c @@ -227,6 +227,11 @@ putenvqv(char *name, char **v, int n, int conf) free(val); } +static void +noop(void) +{ +} + void main(int argc, char *argv[]) { @@ -234,6 +239,8 @@ main(int argc, char *argv[]) char *enva[20]; int envc; + if(coherence == nil) + coherence = noop; quotefmtinstall(); savestartup(argc, argv); /* set default root now, so either $EMU or -r can override it later */ |