[CM] *s7* 'cpu-time

[Woody Douglass]

Bill et al.,

while benchmarking come code, under debian with glibc 2.28, I noticed
that (*s7* 'cpu-time) didn't return what i expect.

I'm still not sure why; i think the code as written should work;
however, i can fix my issue with the attached patch

Thanks,
Woody Douglass
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-use-my_clock-for-s7-cpu_time.patch
Type: text/x-patch
Size: 1198 bytes
Desc: 0001-use-my_clock-for-s7-cpu_time.patch
URL: <https://cm-mail.stanford.edu/pipermail/cmdist/attachments/20211119/7eb94338/attachment.bin>