diff options
author | iphydf <iphydf@users.noreply.github.com> | 2016-08-11 13:49:49 +0100 |
---|---|---|
committer | iphydf <iphydf@users.noreply.github.com> | 2016-08-12 20:49:50 +0200 |
commit | 35932b5381886f1d650d2cf853384273d080b821 (patch) | |
tree | 56f36bb7f57f1271a41405a361125f1b5e06dabc /other/travis/env-linux.sh | |
parent | 11de2c222f31f9df85bcee99c5552a21a2b4895c (diff) |
Add "make install" step to Travis build.
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 | ||