diff options
author | Stefan Behnel <stefan_ml@behnel.de> | 2022-08-05 22:54:19 +0200 |
---|---|---|
committer | Stefan Behnel <stefan_ml@behnel.de> | 2022-08-05 22:54:19 +0200 |
commit | 9d2ba1611b28999663ab71657f4938b0ba92fe07 (patch) | |
tree | 7a028f764ea99629557fbf24b90946dd794b6efb /Tools | |
parent | ac97b861a8507f477e0dcce52d6f6332555b843a (diff) | |
download | cython-9d2ba1611b28999663ab71657f4938b0ba92fe07.tar.gz |
CI: Remove "time" command that does not exist on Windows.
Diffstat (limited to 'Tools')
-rw-r--r-- | Tools/ci-run.sh | 2 |
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) |