From 00ea7e51ae4dde5600c231d120046a5d675b908d Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Wed, 9 Jan 2019 15:20:19 +0100
Subject: [PATCH] [ci] Add missing function
---
_ci/functions.sh | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/_ci/functions.sh b/_ci/functions.sh
index 62dcf542..9c2fcddf 100644
--- a/_ci/functions.sh
+++ b/_ci/functions.sh
@@ -4,6 +4,11 @@
# Build utilities
SCRIPTS_DIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)
+# Determines the operating system we're using
+osname() {
+ [[ "$(uname -s)" == "Darwin" ]] && echo "osx" || echo "linux"
+}
+
# datetime prefix for logging
log_datetime() {
echo "($(date +%T.%3N))"
--
GitLab