diff options
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/build.sh b/ci/build.sh index 1d334e7d..8ab28c88 100755 --- a/ci/build.sh +++ b/ci/build.sh @@ -1,5 +1,5 @@ #!/bin/sh -ex -# This script is used by travis.yml and docker.sh +# This script is used by .travis.yml and build-in-docker if [ -n "${SPECIAL}" ]; then sh ci/${SPECIAL}.sh |