From 62734cde8478a74b8b094cf56b1379e7283c77ae Mon Sep 17 00:00:00 2001 From: roland Date: Thu, 8 Dec 1994 10:16:24 +0000 Subject: [PATCH] Add some @groups. --- manual/examples/select.c | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/manual/examples/select.c b/manual/examples/select.c index 2c9fd5b763..def2cd6f9f 100644 --- a/manual/examples/select.c +++ b/manual/examples/select.c @@ -1,13 +1,17 @@ +/*@group*/ #include #include #include #include +/*@end group*/ +/*@group*/ int input_timeout (int filedes, unsigned int seconds) { fd_set set; struct timeval timeout; +/*@end group*/ /* Initialize the file descriptor set. */ FD_ZERO (&set); @@ -17,12 +21,15 @@ input_timeout (int filedes, unsigned int seconds) timeout.tv_sec = seconds; timeout.tv_usec = 0; +/*@group*/ /* @code{select} returns 0 if timeout, 1 if input available, -1 if error. */ return TEMP_FAILURE_RETRY (select (FD_SETSIZE, &set, NULL, NULL, &timeout)); } +/*@end group*/ +/*@group*/ int main (void) { @@ -30,3 +37,4 @@ main (void) input_timeout (STDIN_FILENO, 5)); return 0; } +/*@end group*/ -- 2.11.0