diff options
Diffstat (limited to 'other/travis/env-osx.sh')
-rw-r--r-- | other/travis/env-osx.sh | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/other/travis/env-osx.sh b/other/travis/env-osx.sh deleted file mode 100644 index af1794f4..00000000 --- a/other/travis/env-osx.sh +++ /dev/null | |||
@@ -1,21 +0,0 @@ | |||
1 | #!/bin/sh | ||
2 | |||
3 | CMAKE=cmake | ||
4 | CMAKE_EXTRA_FLAGS="$CMAKE_EXTRA_FLAGS" | ||
5 | NPROC=`sysctl -n hw.ncpu` | ||
6 | CURDIR=$PWD | ||
7 | |||
8 | RUN() { | ||
9 | "$@" | ||
10 | } | ||
11 | |||
12 | TESTS() { | ||
13 | COUNT="$1"; shift | ||
14 | "$@" || { | ||
15 | if [ $COUNT -gt 1 ]; then | ||
16 | TESTS `expr $COUNT - 1` "$@" | ||
17 | else | ||
18 | false | ||
19 | fi | ||
20 | } | ||
21 | } | ||