diff options
| -rw-r--r-- | Build/source/texk/web2c/texprofdir/doc/texprof.hnt | bin | 11684262 -> 11685007 bytes | |||
| -rw-r--r-- | Build/source/texk/web2c/texprofdir/doc/texprof.pdf | bin | 4190250 -> 4191378 bytes | |||
| -rw-r--r-- | Build/source/texk/web2c/texprofdir/texprof.w | 13 |
3 files changed, 9 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/texprofdir/doc/texprof.hnt b/Build/source/texk/web2c/texprofdir/doc/texprof.hnt Binary files differindex b5beeebffe9..fb3d7c162f1 100644 --- a/Build/source/texk/web2c/texprofdir/doc/texprof.hnt +++ b/Build/source/texk/web2c/texprofdir/doc/texprof.hnt diff --git a/Build/source/texk/web2c/texprofdir/doc/texprof.pdf b/Build/source/texk/web2c/texprofdir/doc/texprof.pdf Binary files differindex 8cd616b4e8f..d07addfa31e 100644 --- a/Build/source/texk/web2c/texprofdir/doc/texprof.pdf +++ b/Build/source/texk/web2c/texprofdir/doc/texprof.pdf diff --git a/Build/source/texk/web2c/texprofdir/texprof.w b/Build/source/texk/web2c/texprofdir/texprof.w index 69cbbb942b0..722106017fa 100644 --- a/Build/source/texk/web2c/texprofdir/texprof.w +++ b/Build/source/texk/web2c/texprofdir/texprof.w @@ -31241,14 +31241,18 @@ Currently we use |timespec_get| under Windows and |clock_gettime| with a tread specific clock otherwise. @<get current time@>= +#ifdef GETTIME #if GETTIME==0 - time_error=clock_gettime(CLOCK_THREAD_CPUTIME_ID, &ts); + time_error=clock_gettime(CLOCK_THREAD_CPUTIME_ID, &ts); #elif GETTIME==1 - time_error=clock_gettime(CLOCK_PROCESS_CPUTIME_ID, &ts); + time_error=clock_gettime(CLOCK_PROCESS_CPUTIME_ID, &ts); #elif GETTIME==2 - time_error=clock_gettime(CLOCK_MONOTONIC_RAW, &ts); + time_error=clock_gettime(CLOCK_MONOTONIC_RAW, &ts); #elif GETTIME==3 - time_error=clock_gettime(CLOCK_MONOTONIC, &ts); + time_error=clock_gettime(CLOCK_MONOTONIC, &ts); +#else + time_error=clock_gettime(CLOCK_THREAD_CPUTIME_ID, &ts); +#endif #else /* guess a default */ #ifdef _WIN32 @@ -31258,6 +31262,7 @@ with a tread specific clock otherwise. #endif #endif + @ To record the timing information, we compute the time difference in nano seconds, assuming that it fits into unsigned 32 bit which means the difference should be less than about 4 seconds. |