From 35dd1f97f9a38ec1d1fb036e9a0a91622abd6936 Mon Sep 17 00:00:00 2001
From: degomme <degomme@idpann>
Date: Tue, 31 Jul 2018 17:52:56 +0200
Subject: [PATCH] oops

---
 tools/jenkins/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 3052b0e2b9..951e7440c2 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -75,7 +75,7 @@ elif [ -f /etc/redhat-release ]; then
     os=""
     ver=$(cat /etc/redhat-release)
 elif [ -f /usr/bin/sw_vers ]; then
-    os=$(sw_vers -producls /e   tName)
+    os=$(sw_vers -productName)
     ver=$(sw_vers -productVersion)
 elif [ -f /bin/freebsd-version ]; then
     os=$(uname -s)
-- 
2.20.1