diff options
| author | Sam James <sam@gentoo.org> | 2024-04-10 18:33:55 +0100 |
|---|---|---|
| committer | Lasse Collin <lasse.collin@tukaani.org> | 2024-04-11 00:15:35 +0300 |
| commit | 73f629e321b74f68c9954728fa4f19261afccf46 (patch) | |
| tree | f3320520f228a5989c3f2a3b1f0e018d28dfb66a /build-aux | |
| parent | ci: build in parallel by default (diff) | |
| download | xz-73f629e321b74f68c9954728fa4f19261afccf46.tar.xz | |
ci: rename ci_build.sh -> ci_build.bash
We discussed the name and it's less cognitive load to just call it '.bash'
so you don't have an immediate question about if bashisms are OK.
Diffstat (limited to 'build-aux')
| -rwxr-xr-x | build-aux/ci_build.bash (renamed from build-aux/ci_build.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/build-aux/ci_build.sh b/build-aux/ci_build.bash index d40cd3ce..d40cd3ce 100755 --- a/build-aux/ci_build.sh +++ b/build-aux/ci_build.bash |