diff options
Diffstat (limited to '.github/travis/build.sh')
| -rw-r--r-- | .github/travis/build.sh | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/.github/travis/build.sh b/.github/travis/build.sh index cbd4e45b..c244c59c 100644 --- a/.github/travis/build.sh +++ b/.github/travis/build.sh @@ -1,9 +1,17 @@ #!/bin/sh sh autogen.sh || exit 1 -if [ "$BUILD" = "static" ]; then - ./configure --enable-static || exit 1 -else - ./configure || exit 1 -fi -exec make +case "$BUILD" in + static) + ./configure --enable-static || exit 1 + exec make + ;; + all) + sh $(dirname $0)/build-all.sh + exec make + ;; + *) + ./configure || exit 1 + exec make + ;; +esac |