diff options
Diffstat (limited to 'scripts/travis')
| -rwxr-xr-x | scripts/travis | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/travis b/scripts/travis index 97d801c..75bff56 100755 --- a/scripts/travis +++ b/scripts/travis | |||
| @@ -6,7 +6,7 @@ set -e | |||
| 6 | if [ "x$ARCH" = "xnative" ]; then | 6 | if [ "x$ARCH" = "xnative" ]; then |
| 7 | # test autotools | 7 | # test autotools |
| 8 | ./configure | 8 | ./configure |
| 9 | make -j 4 check | 9 | make -j 4 distcheck |
| 10 | 10 | ||
| 11 | # make distribution | 11 | # make distribution |
| 12 | make dist | 12 | make dist |
| @@ -27,6 +27,7 @@ if [ "x$ARCH" = "xnative" ]; then | |||
| 27 | sudo apt-get install -y cmake ninja-build | 27 | sudo apt-get install -y cmake ninja-build |
| 28 | cmake -GNinja .. | 28 | cmake -GNinja .. |
| 29 | ninja | 29 | ninja |
| 30 | ninja test | ||
| 30 | fi | 31 | fi |
| 31 | else | 32 | else |
| 32 | CPU=i686 | 33 | CPU=i686 |
