[Webkit-unassigned] [Bug 124144] [GTK] Update GTK builders in Tools/Scripts/webkitpy/port/builders.py

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=124144





--- Comment #2 from Mario Sanchez Prada <mario at webkit.org>  2013-11-11 06:09:11 PST ---
(From update of attachment 216561)
View in context: https://bugs.webkit.org/attachment.cgi?id=216561&action=review

> Tools/Scripts/webkitpy/port/builders.py:71
>      "GTK Linux 64-bit Debug": {"port_name": "gtk", "is_debug": True},

This one's name is now "GTK Linux 64-bit Debug WK1". What about updating it too?

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.