[webkit-reviews] review granted: [Bug 99517] run-perf-tests should have a --profile option for easy profiling : [Attachment 176556] renamed did_stop to profile_after_exit

[bugzilla-daemon at webkit.org]

Adam Barth <abarth at webkit.org> has granted Eric Seidel <eric at webkit.org>'s
request for review:
Bug 99517: run-perf-tests should have a --profile option for easy profiling
https://bugs.webkit.org/show_bug.cgi?id=99517

Attachment 176556: renamed did_stop to profile_after_exit
https://bugs.webkit.org/attachment.cgi?id=176556&action=review