diff options
Diffstat (limited to 'scripts/travis.sh')
| -rwxr-xr-x | scripts/travis.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/travis.sh b/scripts/travis.sh new file mode 100755 index 0000000000..90e8082f86 --- /dev/null +++ b/scripts/travis.sh @@ -0,0 +1,7 @@ +#!/bin/sh -e + +export VALGRIND_CHECK=1 +make cmake CMAKE_EXTRA_FLAGS="-DCMAKE_INSTALL_PREFIX=$PWD/dist" +make +make test > /dev/null 2>&1 +make install |