From 9f6bf5d83602005478feecd58233f94a97ee0449 Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Wed, 16 May 2001 11:56:49 +0000 Subject: [PATCH] Fixed error message text. --- src/box.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/box.c b/src/box.c index b76fd8a..f9d9961 100644 --- a/src/box.c +++ b/src/box.c @@ -355,7 +355,7 @@ boxkeeper(void) timeradd(&rus.ru_utime, &rus.ru_stime, &total); wall = time(NULL) - start_time; if ((use_wall_clock ? wall : total.tv_sec) > timeout) - die("Timeout exceeded (after exit)."); + die("Time limit exceeded (after exit)."); fprintf(stderr, "OK (%d sec real, %d sec wall, %d syscalls)\n", (int) total.tv_sec, wall, syscall_count); exit(0); } -- 2.39.2