[webkit-reviews] review granted: [Bug 87128] Add --driver-name option to run_webkit_tests.py to allow for selecting alternative DRT binaries : [Attachment 143869] Patch

[bugzilla-daemon at webkit.org]

Dirk Pranke <dpranke at chromium.org> has granted jochen at chromium.org's request
for review:
Bug 87128: Add --driver-name option to run_webkit_tests.py to allow for
selecting alternative DRT binaries
https://bugs.webkit.org/show_bug.cgi?id=87128

Attachment 143869: Patch
https://bugs.webkit.org/attachment.cgi?id=143869&action=review

------- Additional Comments from Dirk Pranke <dpranke at chromium.org>
It's really a bug that get_option doesn't return the default value that you
pass in if the attr exists but is set to None. I need to go back and fix that.