blob: 0cb482a467d7529aa03f94d3b21a340bd8d99918 [file] [log] [blame]
#! /bin/sh
./filter_stderr |
sed "s/checked [0-9]* bytes./checked ... bytes./"