doc: fix typos
[barvinok.git] / lib / sleep.c
blob037559b01618068201f94762637ab36ec7b29a07
1 /* Pausing execution of the current thread.
2 Copyright (C) 2007 Free Software Foundation, Inc.
3 Written by Bruno Haible <bruno@clisp.org>, 2007.
5 This program is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation; either version 2, or (at your option)
8 any later version.
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
15 You should have received a copy of the GNU General Public License
16 along with this program; if not, write to the Free Software Foundation,
17 Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. */
19 #include <config.h>
21 /* Specification. */
22 #include <unistd.h>
24 #if (defined _WIN32 || defined __WIN32__) && ! defined __CYGWIN__
26 # define WIN32_LEAN_AND_MEAN /* avoid including junk */
27 # include <windows.h>
29 unsigned int
30 sleep (unsigned int seconds)
32 unsigned int remaining;
34 /* Sleep for 1 second many times, because
35 1. Sleep is not interruptiple by Ctrl-C,
36 2. we want to avoid arithmetic overflow while multiplying with 1000. */
37 for (remaining = seconds; remaining > 0; remaining--)
38 Sleep (1000);
40 return remaining;
43 #else
45 #error "Please port gnulib sleep.c to your platform, possibly using usleep() or select(), then report this to bug-gnulib."
47 #endif