Index: third_party/WebKit/Tools/Scripts/webkitpy/common/config/builders.py |
diff --git a/third_party/WebKit/Tools/Scripts/webkitpy/common/config/builders.py b/third_party/WebKit/Tools/Scripts/webkitpy/common/config/builders.py |
index 155f4a780d850fbd04fa9612af627b531da74ef5..0432bbc5a98b0ffe869a4322b9668826a2aacabb 100644 |
--- a/third_party/WebKit/Tools/Scripts/webkitpy/common/config/builders.py |
+++ b/third_party/WebKit/Tools/Scripts/webkitpy/common/config/builders.py |
@@ -39,7 +39,7 @@ BUILDERS = { |
"port_name": "win-win10", |
"specifiers": ['Win10', 'Release'] |
}, |
- "WebKit Linux": { # FIXME: Rename this. http://crbug.com/613305. |
+ "WebKit Linux Precise": { |
"port_name": "linux-precise", |
"specifiers": ['Precise', 'Release'] |
}, |
@@ -47,7 +47,7 @@ BUILDERS = { |
"port_name": "linux-trusty", |
"specifiers": ['Trusty', 'Release'] |
}, |
- "WebKit Linux (dbg)": { |
+ "WebKit Linux Precise (dbg)": { |
"port_name": "linux-precise", |
"specifiers": ['Precise', 'Debug'] |
}, |