diff options
-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 |