From 8886b529ee37c085e823b13a859acb34edad05bc Mon Sep 17 00:00:00 2001
From: Zachary Eisinger <zeisinger@github.com>
Date: Wed, 18 Dec 2019 08:17:54 -0800
Subject: [PATCH] Set osx as the os name

---
 externals/get-os-distro.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/externals/get-os-distro.sh b/externals/get-os-distro.sh
index 4bc5c45..029dc6e 100755
--- a/externals/get-os-distro.sh
+++ b/externals/get-os-distro.sh
@@ -113,7 +113,7 @@ get_current_os_name() {
 
     local uname=$(uname)
     if [ "$uname" = "Darwin" ]; then
-        echo "mac"
+        echo "osx"
         return 0
     elif [ "$uname" = "Linux" ]; then
         local linux_platform_name
@@ -139,7 +139,7 @@ get_legacy_os_name() {
 
     local uname=$(uname)
     if [ "$uname" = "Darwin" ]; then
-        echo "mac"
+        echo "osx"
         return 0
     else
         if [ -e /etc/os-release ]; then