summaryrefslogtreecommitdiffstats
path: root/webkit/build
diff options
context:
space:
mode:
authormnaganov@chromium.org <mnaganov@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98>2009-11-13 22:05:19 +0000
committermnaganov@chromium.org <mnaganov@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98>2009-11-13 22:05:19 +0000
commit6e5e54e39d8e542077acdafe8cf9033b1ca9acce (patch)
tree79e055a64766b11eb8fa516943e8d13efe7892a5 /webkit/build
parent4440a58b8f7658021f9badf5d5e142fc61f288c6 (diff)
downloadchromium_src-6e5e54e39d8e542077acdafe8cf9033b1ca9acce.zip
chromium_src-6e5e54e39d8e542077acdafe8cf9033b1ca9acce.tar.gz
chromium_src-6e5e54e39d8e542077acdafe8cf9033b1ca9acce.tar.bz2
DevTools: touch resource dir in generator scripts on Mac.
This is to ensure that Xcode will copy re-generated files to framework resources. BUG=none TEST=none Review URL: http://codereview.chromium.org/384129 git-svn-id: svn://svn.chromium.org/chrome/trunk/src@31954 0039d316-1c4b-4281-b951-d872f2087c98
Diffstat (limited to 'webkit/build')
-rwxr-xr-xwebkit/build/concatenate_js_files.py8
-rwxr-xr-xwebkit/build/generate_devtools_html.py15
2 files changed, 20 insertions, 3 deletions
diff --git a/webkit/build/concatenate_js_files.py b/webkit/build/concatenate_js_files.py
index b6d7efc..bc96de3 100755
--- a/webkit/build/concatenate_js_files.py
+++ b/webkit/build/concatenate_js_files.py
@@ -37,7 +37,7 @@ def main(argv):
full_paths = {}
for full_path in argv[2:]:
- (dir_name, file_name) = os.path.split(full_path)
+ file_name = os.path.basename(full_path)
if file_name.endswith('.js'):
full_paths[file_name] = full_path
@@ -60,5 +60,11 @@ def main(argv):
output_file.close()
output.close()
+ # Touch output file directory to make sure that Xcode will copy
+ # modified resource files.
+ if sys.platform == 'darwin':
+ output_dir_name = os.path.dirname(output_file_name)
+ os.utime(output_dir_name, None)
+
if __name__ == '__main__':
sys.exit(main(sys.argv))
diff --git a/webkit/build/generate_devtools_html.py b/webkit/build/generate_devtools_html.py
index 5160fc2..82f9490 100755
--- a/webkit/build/generate_devtools_html.py
+++ b/webkit/build/generate_devtools_html.py
@@ -22,8 +22,10 @@ def main(argv):
print 'usage: %s inspector_html devtools_html css_and_js_files_list' % argv[0]
return 1
- inspector_html = open(argv[1], 'r')
- devtools_html = open(argv[2], 'w')
+ inspector_html_name = argv[1]
+ devtools_html_name = argv[2]
+ inspector_html = open(inspector_html_name, 'r')
+ devtools_html = open(devtools_html_name, 'w')
for line in inspector_html:
if '</head>' in line:
@@ -33,5 +35,14 @@ def main(argv):
devtools_html.write(' <!-- End of auto-added files list -->\n')
devtools_html.write(line)
+ devtools_html.close()
+ inspector_html.close()
+
+ # Touch output file directory to make sure that Xcode will copy
+ # modified resource files.
+ if sys.platform == 'darwin':
+ output_dir_name = os.path.dirname(devtools_html_name)
+ os.utime(output_dir_name, None)
+
if __name__ == '__main__':
sys.exit(main(sys.argv))