From 029f14280b06ab5d086f177a0547332cec417c29 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=D0=9B=D0=B5=D0=BE=D0=BD=D0=B8=D0=B4=20=D0=AE=D1=80=D1=8C?=
 =?UTF-8?q?=D0=B5=D0=B2=20=28Leonid=20Yuriev=29?= <leo@yuriev.ru>
Date: Wed, 6 Nov 2024 13:12:08 +0300
Subject: [PATCH] =?UTF-8?q?mdbx-testing:=20=D1=83=D0=B4=D0=B0=D0=BB=D0=B5?=
 =?UTF-8?q?=D0=BD=D0=B8=D0=B5=20`/usr/bin/time`=20=D1=82=D0=B0=D0=BA=20?=
 =?UTF-8?q?=D0=BA=D0=B0=D0=BA=20`rusage()`=20=D0=B5=D1=81=D1=82=D1=8C=20?=
 =?UTF-8?q?=D0=B2=20=D0=BA=D0=BE=D0=B4=D0=B5=20=D1=82=D0=B5=D1=81=D1=82?=
 =?UTF-8?q?=D0=B0.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 test/long_stochastic.sh | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/test/long_stochastic.sh b/test/long_stochastic.sh
index 92776b80..2deec0c8 100755
--- a/test/long_stochastic.sh
+++ b/test/long_stochastic.sh
@@ -188,12 +188,6 @@ done
 
 set -euo pipefail
 if [ -z "$MONITOR" ]; then
-  if which time >/dev/null 2>/dev/null; then
-    MONITOR=$(which time)
-    if $MONITOR -o /dev/stdout true >/dev/null 2>/dev/null; then
-      MONITOR="$MONITOR -o /dev/stdout"
-    fi
-  fi
   export MALLOC_CHECK_=7 MALLOC_PERTURB_=42
 fi