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