summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorStefan Behnel <stefan_ml@behnel.de>2022-12-01 09:39:24 +0100
committerStefan Behnel <stefan_ml@behnel.de>2022-12-01 09:39:24 +0100
commitd734076b894eae4945f9343eee249109e9b786f1 (patch)
tree2c934c0f29daa4d0ef40c5c3ff97ae71410607c8 /tools
parent7ed79b2b233b55c5d9ee944651a8857a0e7494ab (diff)
downloadpython-lxml-d734076b894eae4945f9343eee249109e9b786f1.tar.gz
CI: Minor bash code adaptation.
Diffstat (limited to 'tools')
-rw-r--r--tools/ci-run.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci-run.sh b/tools/ci-run.sh
index f9b43fbd..7e9167bd 100644
--- a/tools/ci-run.sh
+++ b/tools/ci-run.sh
@@ -54,7 +54,7 @@ fi
# Build
CFLAGS="-Og -g -fPIC -Wall -Wextra" python -u setup.py build_ext --inplace \
$(if [ -n "${PYTHON_VERSION##2.*}" ]; then echo -n " -j7 "; fi ) \
- $(if [ "$COVERAGE" == "true" ]; then echo -n " --with-coverage"; fi ) \
+ $(if [[ "$COVERAGE" == "true" ]]; then echo -n " --with-coverage"; fi ) \
|| exit 1
ccache -s || true