diff options
| author | Etiene Dalcol <Etiene@users.noreply.github.com> | 2015-04-15 09:14:38 +0100 |
|---|---|---|
| committer | Etiene Dalcol <Etiene@users.noreply.github.com> | 2015-04-15 09:14:38 +0100 |
| commit | 2772aaf051a81b39540b77ee33eab13b6875becd (patch) | |
| tree | ac10c91a0c692eca1713acae5c06c30c48e11c30 /.travis/platform.sh | |
| parent | d5942f76be9be2815857fa90c8f7fd27b46e43d0 (diff) | |
| parent | fae07a450ea0b1e9998c4443c147d4c9e8bd4ef7 (diff) | |
| download | valua-2772aaf051a81b39540b77ee33eab13b6875becd.tar.gz valua-2772aaf051a81b39540b77ee33eab13b6875becd.tar.bz2 valua-2772aaf051a81b39540b77ee33eab13b6875becd.zip | |
Merge pull request #5 from ignacio/travis_integration
Adds travis-ci integration
Diffstat (limited to '.travis/platform.sh')
| -rw-r--r-- | .travis/platform.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.travis/platform.sh b/.travis/platform.sh new file mode 100644 index 0000000..7259a7d --- /dev/null +++ b/.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 |