diff options
Diffstat (limited to '.travis/platform.sh')
-rw-r--r-- | .travis/platform.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/.travis/platform.sh b/.travis/platform.sh deleted file mode 100644 index 4a3af0d..0000000 --- a/.travis/platform.sh +++ /dev/null | |||
@@ -1,15 +0,0 @@ | |||
1 | if [ -z "$PLATFORM" ]; then | ||
2 | PLATFORM=$TRAVIS_OS_NAME; | ||
3 | fi | ||
4 | |||
5 | if [ "$PLATFORM" == "osx" ]; then | ||
6 | PLATFORM="macosx"; | ||
7 | fi | ||
8 | |||
9 | if [ -z "$PLATFORM" ]; then | ||
10 | if [ "$(uname)" == "Linux" ]; then | ||
11 | PLATFORM="linux"; | ||
12 | else | ||
13 | PLATFORM="macosx"; | ||
14 | fi; | ||
15 | fi | ||