#!/usr/bin/env bash # ------------------------------------------------------------------------------ # Reads multiple individual benchmark reports produced by scripts from # test/externalTests/ from standard input and creates a combined report. # # Usage: #