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], |