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