diff options
Diffstat (limited to 'src/civetweb/ci/travis/platform.sh')
-rwxr-xr-x | src/civetweb/ci/travis/platform.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/civetweb/ci/travis/platform.sh b/src/civetweb/ci/travis/platform.sh new file mode 100755 index 000000000..4a3af0d48 --- /dev/null +++ b/src/civetweb/ci/travis/platform.sh @@ -0,0 +1,15 @@ +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 |