diff options
author | zrm <trustiosity.zrm@gmail.com> | 2023-05-14 22:25:42 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-15 04:25:42 +0200 |
commit | 63d20469b85467c5729cc9a97bd44cc3da63423f (patch) | |
tree | 47abe8b5d3945e328262991589a253edb369a6d6 /Makefile | |
parent | b5c9295eef2b56e307393b35b3a923e3518d226e (diff) |
fix get_num_physical_cores() (#1436)
* fix get_num_physical_cores()
had been broken on complex topologies because "cpu cores" in /proc/cpuinfo is per-"physical id"
* Add spaces to maintain consistent formatting
---------
Co-authored-by: slaren <ddevesa@gmail.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions