diff options
| author | Jeff Epler <jepler@gmail.com> | 2025-09-03 13:44:42 -0500 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-10-08 15:08:12 +1100 |
| commit | fef414eca49c44180fba9a0ab32e647c0373e67f (patch) | |
| tree | 742285a9fab14179e2390c2ee996ef4e7978faa7 /tools/metrics.py | |
| parent | aad6ee3d8c676c58c9dc390aa410bd8259268f44 (diff) | |
tools/metrics.py: Use all CPUs during comparison builds.
Don't simply hard-code a parallelism of 3 for the build.
Signed-off-by: Jeff Epler <jepler@unpythonic.net>
Diffstat (limited to 'tools/metrics.py')
| -rwxr-xr-x | tools/metrics.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/metrics.py b/tools/metrics.py index 150b40bff..9f2496d35 100755 --- a/tools/metrics.py +++ b/tools/metrics.py @@ -43,9 +43,9 @@ Other commands: """ -import collections, sys, re, subprocess +import collections, sys, re, subprocess, multiprocessing -MAKE_FLAGS = ["-j3", "CFLAGS_EXTRA=-DNDEBUG"] +MAKE_FLAGS = ["-j{}".format(multiprocessing.cpu_count()), "CFLAGS_EXTRA=-DNDEBUG"] class PortData: |