| Index: Tools/GardeningServer/scripts/config.js
|
| diff --git a/Tools/GardeningServer/scripts/config.js b/Tools/GardeningServer/scripts/config.js
|
| index 7edeffeb0895320db61b3f20f853c4a50defd6ca..a869c571eb6bf5660159a012a7998525a801e261 100644
|
| --- a/Tools/GardeningServer/scripts/config.js
|
| +++ b/Tools/GardeningServer/scripts/config.js
|
| @@ -53,7 +53,7 @@ config = {
|
| 'WebKit Android (Nexus4)': {version: 'android'},
|
| },
|
| resultsDirectoryNameFromBuilderName: function(builderName) {
|
| - return base.underscoredBuilderName(builderName);
|
| + return builderName.replace(/[ .()]/g, '_');
|
| },
|
| builderApplies: function(builderName) {
|
| return builderName.indexOf('GPU') == -1 &&
|
|
|