Commit 44f8213480e5bed853344e2bf0becc6a6cf1df91
2019-02-13T11:18:35
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.
diff --git a/ci/build.sh b/ci/build.sh
index 49e7330..7ffa610 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:"