diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-10-08 12:05:45 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-10-25 16:08:37 +0200 |
| commit | 4bc4fae07384b547fc64e60d3e4dd8e6ed35196a (patch) | |
| tree | dd4229fb58fd7a3defe1d310e441650a8eced40a /src/ci/run.sh | |
| parent | 102dc3ddc1f6e671c48358b2c685ae724bcf7844 (diff) | |
| download | rust-4bc4fae07384b547fc64e60d3e4dd8e6ed35196a.tar.gz rust-4bc4fae07384b547fc64e60d3e4dd8e6ed35196a.zip | |
ci: cleanup platform detection
Diffstat (limited to 'src/ci/run.sh')
| -rwxr-xr-x | src/ci/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/run.sh b/src/ci/run.sh index 0d5ea371245..bce35670c8d 100755 --- a/src/ci/run.sh +++ b/src/ci/run.sh @@ -117,7 +117,7 @@ make check-bootstrap # Display the CPU and memory information. This helps us know why the CI timing # is fluctuating. -if isOSX; then +if isMacOS; then system_profiler SPHardwareDataType || true sysctl hw || true ncpus=$(sysctl -n hw.ncpu) |