| Index: chrome/chrome.xcodeproj/generate_headers.sh
|
| diff --git a/chrome/chrome.xcodeproj/generate_headers.sh b/chrome/chrome.xcodeproj/generate_headers.sh
|
| index 2e54526b17c3c2810455ef17a02c1aafc8ed8c92..2f137e4ad4fd46c5e807c9229a5422d8d24358ee 100755
|
| --- a/chrome/chrome.xcodeproj/generate_headers.sh
|
| +++ b/chrome/chrome.xcodeproj/generate_headers.sh
|
| @@ -38,3 +38,13 @@ then
|
| -i "${PROJECT_DIR}/browser/browser_resources.grd" build \
|
| -o "${GRIT_DIR}"
|
| fi
|
| +
|
| +# compare theme_resources.grd to theme_resources.h. If the .h is
|
| +# older or doesn't exist, rebuild it
|
| +if [ "${GRIT_DIR}/grit/theme_resources.h" -ot \
|
| + "${PROJECT_DIR}/app/theme/theme_resources.grd" ]
|
| +then
|
| + python "${PROJECT_DIR}/../tools/grit/grit.py" \
|
| + -i "${PROJECT_DIR}/app/theme/theme_resources.grd" build \
|
| + -o "${GRIT_DIR}"
|
| +fi
|
|
|