.travis/platform.sh

   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