diff options
| author | Oscar Lim <olim@ucla.edu> | 2016-05-07 13:28:29 -0700 |
|---|---|---|
| committer | Oscar Lim <olim@ucla.edu> | 2016-05-07 13:34:03 -0700 |
| commit | 61067b665311b5ae6efc56e4df90e5b348a73814 (patch) | |
| tree | e451cc57a766ec7e1357fcac83f3aebb4dd43811 /.travis/platform.sh | |
| parent | 67e5f4ff685bee3fa381db6f50be3506ad0b5e76 (diff) | |
| download | luasystem-61067b665311b5ae6efc56e4df90e5b348a73814.tar.gz luasystem-61067b665311b5ae6efc56e4df90e5b348a73814.tar.bz2 luasystem-61067b665311b5ae6efc56e4df90e5b348a73814.zip | |
New travis infrastructure
Changes the travis setup and drop `sudo` in favor of the faster
container-based travis infrastructure.
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 @@ | |||
| 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 | ||