diff options
Diffstat (limited to 'ghc/rts/Select.c')
| -rw-r--r-- | ghc/rts/Select.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/ghc/rts/Select.c b/ghc/rts/Select.c index 0fcde6039e..87f3267c82 100644 --- a/ghc/rts/Select.c +++ b/ghc/rts/Select.c @@ -1,5 +1,5 @@ /* ----------------------------------------------------------------------------- - * $Id: Select.c,v 1.6 2000/01/12 15:15:18 simonmar Exp $ + * $Id: Select.c,v 1.7 2000/01/13 12:40:16 simonmar Exp $ * * (c) The GHC Team 1995-1999 * @@ -136,8 +136,7 @@ awaitEvent(rtsBool wait) if (errno != EINTR) { /* fflush(stdout); */ perror("select"); - fprintf(stderr, "awaitEvent: select failed\n"); - stg_exit(EXIT_FAILURE); + barf("select failed"); } ACQUIRE_LOCK(&sched_mutex); |