summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Build/source/texk/web2c/texprofdir/doc/texprof.hntbin11684262 -> 11685007 bytes
-rw-r--r--Build/source/texk/web2c/texprofdir/doc/texprof.pdfbin4190250 -> 4191378 bytes
-rw-r--r--Build/source/texk/web2c/texprofdir/texprof.w13
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
index b5beeebffe9..fb3d7c162f1 100644
--- a/Build/source/texk/web2c/texprofdir/doc/texprof.hnt
+++ b/Build/source/texk/web2c/texprofdir/doc/texprof.hnt
Binary files differ
diff --git a/Build/source/texk/web2c/texprofdir/doc/texprof.pdf b/Build/source/texk/web2c/texprofdir/doc/texprof.pdf
index 8cd616b4e8f..d07addfa31e 100644
--- a/Build/source/texk/web2c/texprofdir/doc/texprof.pdf
+++ b/Build/source/texk/web2c/texprofdir/doc/texprof.pdf
Binary files differ
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.