summaryrefslogtreecommitdiff
path: root/Tools
diff options
context:
space:
mode:
authorStefan Behnel <stefan_ml@behnel.de>2022-08-05 22:54:19 +0200
committerStefan Behnel <stefan_ml@behnel.de>2022-08-05 22:54:19 +0200
commit9d2ba1611b28999663ab71657f4938b0ba92fe07 (patch)
tree7a028f764ea99629557fbf24b90946dd794b6efb /Tools
parentac97b861a8507f477e0dcce52d6f6332555b843a (diff)
downloadcython-9d2ba1611b28999663ab71657f4938b0ba92fe07.tar.gz
CI: Remove "time" command that does not exist on Windows.
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 93282bc30..a6f45909b 100644
--- a/Tools/ci-run.sh
+++ b/Tools/ci-run.sh
@@ -142,7 +142,7 @@ if [[ $NO_CYTHON_COMPILE != "1" && $PYTHON_VERSION != "pypy"* ]]; then
$(python -c 'import sys; print("-j5" if sys.version_info >= (3,5) else "")')"
CFLAGS=$BUILD_CFLAGS \
- time python setup.py build_ext -i $SETUP_ARGS || exit 1
+ python setup.py build_ext -i $SETUP_ARGS || exit 1
# COVERAGE can be either "" (empty or not set) or "1" (when we set it)
# STACKLESS can be either "" (empty or not set) or "true" (when we set it)