diff options
| author | Jia Tan <jiat0218@gmail.com> | 2023-03-24 20:06:33 +0800 |
|---|---|---|
| committer | Jia Tan <jiat0218@gmail.com> | 2023-03-24 20:06:33 +0800 |
| commit | cf3d1f130e50cf63da4bb1031771605f6f443b6a (patch) | |
| tree | 75a76a0fa3be9086fef11e2de1ae877b3ad5031f /build-aux/ci_build.sh | |
| parent | CMake: Only build xzdec if decoders are enabled. (diff) | |
| download | xz-cf3d1f130e50cf63da4bb1031771605f6f443b6a.tar.xz | |
CI: Change ci_build.sh to use bash instead of sh.
This script is only meant to be run as part of the CI build/test process
on machines that are known to have bash (Ubuntu and MacOS). If this
assumption changes in the future, then the bash specific commands will
need to be replaced with a more portable option. For now, it is
convenient to use bash commands.
Diffstat (limited to 'build-aux/ci_build.sh')
| -rwxr-xr-x | build-aux/ci_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-aux/ci_build.sh b/build-aux/ci_build.sh index 3b462e63..0a9dc09b 100755 --- a/build-aux/ci_build.sh +++ b/build-aux/ci_build.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # ############################################################################# # |