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