Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
oops
authordegomme <degomme@idpann>
Tue, 31 Jul 2018 15:52:56 +0000 (17:52 +0200)
committerdegomme <degomme@idpann>
Tue, 31 Jul 2018 15:52:56 +0000 (17:52 +0200)
tools/jenkins/build.sh

index 3052b0e..951e744 100755 (executable)
@@ -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)