mdbx-make: distinct smoke* and test* targets.

This commit is contained in:
Leonid Yuriev
2021-07-06 15:37:10 +03:00
parent 15ed0f6a84
commit d7aad3a7cf
4 changed files with 72 additions and 41 deletions

View File

@@ -93,8 +93,8 @@ set -euo pipefail
if [ -z "$MONITOR" ]; then
if which time 2>/dev/null; then
MONITOR=$(which time)
if $MONITOR -o true >/dev/null 2>/dev/null; then
MONITOR="$(which time) -o /dev/stdout"
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