Add --profile option - Githubissues

rejeep / ert-runner.el

Opinionated Ert testing workflow

85 stars 19 forks source link

Add --profile option #55

Closed phillord closed 4 years ago

phillord commented 4 years ago

Nice to see why the tests are taking so long!

rejeep commented 4 years ago

Nice, I added you as a collaborator, feel free to merge.

fommil commented 3 years ago

I think the default profiler option should have been nil... otherwise there is no point in the --profile flag and there is no way to turn it off :grimacing:

(btw, thank you for adding this! I have been using my own hacking profiling wrappers like this for years)