1if [ -z "$PLATFORM" ]; then
2  PLATFORM=$TRAVIS_OS_NAME;
3fi
4
5if [ "$PLATFORM" == "osx" ]; then
6  PLATFORM="macosx";
7fi
8
9if [ -z "$PLATFORM" ]; then
10  if [ "$(uname)" == "Linux" ]; then
11    PLATFORM="linux";
12  else
13    PLATFORM="macosx";
14  fi;
15fi
16