diff options
Diffstat (limited to 'ci/dump-environment.sh')
| -rwxr-xr-x | ci/dump-environment.sh | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/ci/dump-environment.sh b/ci/dump-environment.sh new file mode 100755 index 0000000..b9b7ec5 --- /dev/null +++ b/ci/dump-environment.sh @@ -0,0 +1,22 @@ +#!/bin/bash +# This script dumps information about the build environment to stdout. + +set -euo pipefail +IFS=$'\n\t' + +echo "environment variables:" +printenv | sort +echo + +echo "disk usage:" +df -h +echo + +echo "CPU info:" +if [[ "${OSTYPE}" = "darwin"* ]]; then + system_profiler SPHardwareDataType || true + sysctl hw || true +else + cat /proc/cpuinfo || true + cat /proc/meminfo || true +fi |