Files
soci/scripts
Vadim Zeitlin 4c8a7e752b Use platform-appropriate way of getting CPUs number
This is simpler than parsing /sys/devices/system/cpu/online ourselves
and also works under macOS.

Reduce the number of jobs, 1.5*CPU number is too much, so use more
conservative +1 instead.

Also rename TCI_NUMTHREADS (which was another reference to Travis CI) to
just num_cpus.
2021-07-10 11:49:07 +02:00
..
2017-09-12 22:54:19 +02:00