texlive[72247] Build/source/texk/web2c/texprofdir: TeXprof: improving

[commits+mruckert at tug.org]

Revision: 72247
          https://tug.org/svn/texlive?view=revision&revision=72247
Author:   mruckert
Date:     2024-09-10 10:37:10 +0200 (Tue, 10 Sep 2024)
Log Message:
-----------
TeXprof: improving the GETTIME logic

Modified Paths:
--------------
    trunk/Build/source/texk/web2c/texprofdir/doc/texprof.hnt
    trunk/Build/source/texk/web2c/texprofdir/doc/texprof.pdf
    trunk/Build/source/texk/web2c/texprofdir/texprof.w

Modified: trunk/Build/source/texk/web2c/texprofdir/doc/texprof.hnt
===================================================================
(Binary files differ)

Modified: trunk/Build/source/texk/web2c/texprofdir/doc/texprof.pdf
===================================================================
(Binary files differ)

Modified: trunk/Build/source/texk/web2c/texprofdir/texprof.w
===================================================================
--- trunk/Build/source/texk/web2c/texprofdir/texprof.w	2024-09-09 23:41:55 UTC (rev 72246)
+++ trunk/Build/source/texk/web2c/texprofdir/texprof.w	2024-09-10 08:37:10 UTC (rev 72247)
@@ -31241,15 +31241,19 @@
 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
    time_error=timespec_get(&ts, TIME_UTC); 
@@ -31258,6 +31262,7 @@
 #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.