Ping? - Ted On Mon, Oct 29, 2018 at 12:15:57PM -0400, Theodore Ts'o wrote: > Signed-off-by: Theodore Ts'o <tytso@xxxxxxx> > --- > check | 3 +++ > 1 file changed, 3 insertions(+) > > diff --git a/check b/check > index f6c3537..ebd87c0 100755 > --- a/check > +++ b/check > @@ -319,6 +319,7 @@ _call_test() { > local dmesg_marker="" > CHECK_DMESG=0 > fi > + $LOGGER_PROG "run blktests $TEST_NAME" > > trap _cleanup EXIT > if ! TMPDIR="$(mktemp --tmpdir -p "$OUTPUT" -d "tmpdir.${TEST_NAME//\//.}.XXX")"; then > @@ -578,6 +579,8 @@ fi > eval set -- "$TEMP" > unset TEMP > > +LOGGER_PROG="$(type -P logger)" || LOGGER_PROG=true > + > if [[ -r config ]]; then > # shellcheck disable=SC1091 > . config > -- > 2.18.0.rc0 >