Function wrapWithTime

scripts/benchmark/helpers/gnu-time.ts:48–56

(
  command: string,
  outFile: string,
  wrapInShell: boolean,
)

 * needs no inner shell.
 */
export function wrapWithTime(
  command: string,
  outFile: string,
  wrapInShell: boolean,
): string {
  const inner = wrapInShell ? `sh -c ${shellQuote(command)}` : command;

  return `${GNU_TIME} -o ${shellQuote(outFile)} -f '%U %S %M' ${inner}`;
}

/**
 * Read the measurement line that {@link wrapWithTime} wrote to `outFile`: