From 9d2ba1611b28999663ab71657f4938b0ba92fe07 Mon Sep 17 00:00:00 2001
From: Stefan Behnel <stefan_ml@behnel.de>
Date: Fri, 5 Aug 2022 22:54:19 +0200
Subject: CI: Remove "time" command that does not exist on Windows.

---
 Tools/ci-run.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Tools')

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)
-- 
cgit v1.2.1