Skip to content
Snippets Groups Projects
Commit 00ea7e51 authored by André Anjos's avatar André Anjos :speech_balloon:
Browse files

[ci] Add missing function

parent 9b402197
No related branches found
No related tags found
No related merge requests found
Pipeline #25768 failed
...@@ -4,6 +4,11 @@ ...@@ -4,6 +4,11 @@
# Build utilities # Build utilities
SCRIPTS_DIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd) 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 # datetime prefix for logging
log_datetime() { log_datetime() {
echo "($(date +%T.%3N))" echo "($(date +%T.%3N))"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment