osh/gr-benchmark — pull request #2 by marcusmueller (2014-05-08 13:33:31+00:00)
Title: Improvements

Just added a feature to save the profiler result to a file instead of to stdout only,
also removed trailing ;