diff options
Diffstat (limited to 'other/travis/env-linux.sh')
-rw-r--r-- | other/travis/env-linux.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/other/travis/env-linux.sh b/other/travis/env-linux.sh new file mode 100644 index 00000000..68cffa06 --- /dev/null +++ b/other/travis/env-linux.sh | |||
@@ -0,0 +1,10 @@ | |||
1 | #!/bin/sh | ||
2 | |||
3 | . other/travis/env.sh | ||
4 | |||
5 | RUN() { | ||
6 | "$@" | ||
7 | } | ||
8 | export CMAKE=cmake | ||
9 | export MAKE=make | ||
10 | export PREFIX=$PWD/_install | ||