diff options
| -rwxr-xr-x | dist-tools/makerelease.pl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/dist-tools/makerelease.pl b/dist-tools/makerelease.pl index 6523d595..e44e988d 100755 --- a/dist-tools/makerelease.pl +++ b/dist-tools/makerelease.pl @@ -122,7 +122,9 @@ open(my $p, "-|", "nproc 2>/dev/null || gnproc 2>/dev/null || sysctl -n hw.ncpu if (not defined ($ncpu = <$p>)) { die "cannot read number of CPUs"; } close $p or die "could not find number of CPUs"; -print "### CPUs for make: $ncpu\n"; +chomp $ncpu; + +print "--- CPUs for make: $ncpu\n"; if ($ncpu < 1) { warn "ncpus unplausible, assuming 2"; $ncpu = 2; } |