diff options
author | Edward Thomson <ethomson@edwardthomson.com> | 2019-02-13 11:18:35 +0000 |
---|---|---|
committer | Edward Thomson <ethomson@edwardthomson.com> | 2019-02-13 11:18:35 +0000 |
commit | 44f8213480e5bed853344e2bf0becc6a6cf1df91 (patch) | |
tree | f9adad5034254a188e6b699b7573dbee33ee2139 | |
parent | 6f778351bb314643510f0fc19e0eb81e6a23000a (diff) | |
download | libgit2-44f8213480e5bed853344e2bf0becc6a6cf1df91.tar.gz |
ci: provide more information about OS
Subtle changes in the host OS can have impacts in the CI system that
may be hard to debug. We previously showed the results of `uname` which
can be difficult to interpret. Provide more information where
available.
-rwxr-xr-x | ci/build.sh | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/ci/build.sh b/ci/build.sh index 49e733077..7ffa610ae 100755 --- a/ci/build.sh +++ b/ci/build.sh @@ -16,8 +16,20 @@ indent() { sed "s/^/ /"; } echo "Source directory: ${SOURCE_DIR}" echo "Build directory: ${BUILD_DIR}" echo "" -echo "Operating system version:" + +if [ "$(uname -s)" = "Darwin" ]; then + echo "macOS version:" + sw_vers | indent +fi + +if [ -f "/etc/debian_version" ]; then + echo "Debian version:" + lsb_release -a | indent +fi + +echo "Kernel version:" uname -a 2>&1 | indent + echo "CMake version:" cmake --version 2>&1 | indent echo "Compiler version:" |