diff --git a/utils.sh b/utils.sh new file mode 100755 index 00000000..d6132941 --- /dev/null +++ b/utils.sh @@ -0,0 +1,29 @@ +#!/bin/bash + + +function get_platform { + local platform="unknown" + if [ "$(uname)" == "Darwin" ]; then + platform="darwin" + elif [ "$(expr substr $(uname -s) 1 5)" == "Linux" ]; then + platform="linux" + elif [ "$(expr substr $(uname -s) 1 10)" == "MINGW64_NT" ]; then + platform="mingw64" + elif [ "$(expr substr $(uname -s) 1 10)" == "MINGW32_NT" ]; then + platform="mingw32" + fi + echo "$platform" + +} + + + + + + + + + + + +