diff options
| author | Joel Rosdahl <joel@rosdahl.net> | 2020-06-19 22:43:27 +0200 |
|---|---|---|
| committer | Joel Rosdahl <joel@rosdahl.net> | 2020-06-23 21:48:27 +0200 |
| commit | 1d71e43d05104d0ff9a1771c4d5fa91e816cf1ae (patch) | |
| tree | f9c1e34d455d88416da0a0e2b07311f409b195d2 /ci | |
| parent | bbf8bc173f72e76afc696be33fb1a1337998f082 (diff) | |
| download | ccache-1d71e43d05104d0ff9a1771c4d5fa91e816cf1ae.tar.gz | |
Move top-level scripts to misc
This makes the top-level directory less crowded.
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 |