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