From: Augustin Degomme <adegomme@gmail.com>
Date: Thu, 28 Nov 2019 11:40:55 +0000 (+0100)
Subject: more precise OS description for OpenIndiana.
X-Git-Tag: v3.25~338^2~1
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/cddf2ac3b173f2c69a2178bc4d1da24d477a5e92

more precise OS description for OpenIndiana.
---

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 65d8628964..621d8e8832 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -80,6 +80,8 @@ elif [ -f /usr/bin/sw_vers ]; then
 elif [ -f /bin/freebsd-version ]; then
     os=$(uname -s)
     ver=$(freebsd-version -u)
+elif [ -f /etc/version ]; then
+    read -r os ver < /etc/release
 elif [ -f /etc/os-release ]; then
     # freedesktop.org and systemd, put last as usually missing useful info
     . /etc/os-release