diff options
Diffstat (limited to 'webkit/build/concatenate_js_files.py')
-rwxr-xr-x | webkit/build/concatenate_js_files.py | 8 |
1 files changed, 7 insertions, 1 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)) |