| Index: tools/gritsettings/resource_ids
|
| diff --git a/tools/gritsettings/resource_ids b/tools/gritsettings/resource_ids
|
| index ec1241ed28943b1ee4577196517ef738952480c9..37c1c9b2f6f946449ea18d541f5ddfbfd26772c7 100644
|
| --- a/tools/gritsettings/resource_ids
|
| +++ b/tools/gritsettings/resource_ids
|
| @@ -136,9 +136,14 @@
|
| "includes": [20000],
|
| },
|
| # This file is generated during the build.
|
| + # devtools_resources.grd can be in two different places depending on whether
|
| + # we are in a chromium checkout or a webkit-only checkout.
|
| "<(SHARED_INTERMEDIATE_DIR)/devtools/devtools_resources.grd": {
|
| "includes": [20500],
|
| },
|
| + "devtools_resources.grd": {
|
| + "includes": [20500],
|
| + },
|
| # All standard and large theme resources should have the same IDs.
|
| "chrome/app/theme/theme_resources_standard.grd": {
|
| "includes": [21000],
|
|
|