Workaround: Linux doesn't seem to record Scheme-program execution time
authorChris Hanson <org/chris-hanson/cph>
Thu, 24 Apr 1997 05:26:06 +0000 (05:26 +0000)
committerChris Hanson <org/chris-hanson/cph>
Thu, 24 Apr 1997 05:26:06 +0000 (05:26 +0000)
commit1d5939e30b3335a4cec2c9755974689a08760de4
tree6c1f02775c6fb4c5e965f90acb09e10ce33ee6e3
parent0a76e9ab95eb585fd4d9d75e9e09d11d503d991f
Workaround: Linux doesn't seem to record Scheme-program execution time
as "user" process time, so change process-time clock to count both
"user" and "system" time.  Normally only "user" time counts.
v7/src/microcode/uxenv.c