summaryrefslogtreecommitdiffstatshomepage
path: root/3rdparty/luv/.ci/platform.sh
diff options
context:
space:
mode:
Diffstat (limited to '3rdparty/luv/.ci/platform.sh')
-rw-r--r--3rdparty/luv/.ci/platform.sh15
1 files changed, 0 insertions, 15 deletions
diff --git a/3rdparty/luv/.ci/platform.sh b/3rdparty/luv/.ci/platform.sh
deleted file mode 100644
index 7259a7d6369..00000000000
--- a/3rdparty/luv/.ci/platform.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-if [ -z "${PLATFORM:-}" ]; then
- PLATFORM=$TRAVIS_OS_NAME;
-fi
-
-if [ "$PLATFORM" == "osx" ]; then
- PLATFORM="macosx";
-fi
-
-if [ -z "$PLATFORM" ]; then
- if [ "$(uname)" == "Linux" ]; then
- PLATFORM="linux";
- else
- PLATFORM="macosx";
- fi;
-fi