path: root/code/glue/distill-performance

#!/bin/bash

if [ -f performance.out.raw ]; then
   cat performance.out.raw | tr "\r" "\n" | grep ^PERF | cut -d" " -f2 > performance.out
fi