version 1.49, 2013/02/26 19:56:12
|
version 1.51, 2013/03/20 17:11:43
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.1.12 |
RPL/2 (R) version 4.1.13 |
Copyright (C) 1989-2013 Dr. BERTRAND Joël |
Copyright (C) 1989-2013 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
Line 90 fusible(void *argument)
|
Line 90 fusible(void *argument)
|
|
|
# ifndef OS2 |
# ifndef OS2 |
getrusage(RUSAGE_SELF, &s_rusage); |
getrusage(RUSAGE_SELF, &s_rusage); |
temps_cpu_courant = s_rusage.ru_utime.tv_sec + |
temps_cpu_courant = ((real8) s_rusage.ru_utime.tv_sec) + |
(((real8) s_rusage.ru_utime.tv_usec) / ((real8) 1E6)); |
(((real8) s_rusage.ru_utime.tv_usec) / ((real8) 1E6)); |
# else |
# else |
horloge = clock(); |
horloge = clock(); |
Line 105 fusible(void *argument)
|
Line 105 fusible(void *argument)
|
|
|
# ifndef OS2 |
# ifndef OS2 |
getrusage(RUSAGE_SELF, &s_rusage); |
getrusage(RUSAGE_SELF, &s_rusage); |
temps_cpu_courant = s_rusage.ru_utime.tv_sec + |
temps_cpu_courant = ((real8) s_rusage.ru_utime.tv_sec) + |
(((real8) s_rusage.ru_utime.tv_usec) / ((real8) 1E6)); |
(((real8) s_rusage.ru_utime.tv_usec) / ((real8) 1E6)); |
# else |
# else |
horloge = clock(); |
horloge = clock(); |