diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/travis | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/travis b/scripts/travis index 8fa3035..97d801c 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 check | 9 | make -j 4 check |
| 10 | 10 | ||
| 11 | # make distribution | 11 | # make distribution |
| 12 | make dist | 12 | make dist |
