diff options
Diffstat (limited to 'fbench/util/resultfilter.sh')
| -rwxr-xr-x | fbench/util/resultfilter.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/fbench/util/resultfilter.sh b/fbench/util/resultfilter.sh deleted file mode 100755 index d6881f12a9d..00000000000 --- a/fbench/util/resultfilter.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/usr/bin/bash -# Copyright Yahoo. Licensed under the terms of the Apache 2.0 license. See LICENSE in the project root. - -# This script converts an fbench summary report read from stdin to a -# single line containing only the numerical values written to -# stdout. - -sed -n "s/.*: *\([0-9.][0-9.]*\).*/\1/p" | tr '\n' ' ' -echo |