diff options
Diffstat (limited to 'emu')
| -rw-r--r-- | emu/port/fns.h | 1 | ||||
| -rw-r--r-- | emu/port/main.c | 6 |
2 files changed, 4 insertions, 3 deletions
diff --git a/emu/port/fns.h b/emu/port/fns.h index cf5834b7..6a0809c0 100644 --- a/emu/port/fns.h +++ b/emu/port/fns.h @@ -119,6 +119,7 @@ Mount* newmount(Mhead*, Chan*, int, char*); Pgrp* newpgrp(void); Proc* newproc(void); void nexterror(void); +void nofence(void); void notkilled(void); int openmode(ulong); void osblock(void); 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 */ |