diff options
| author | Steve Block <steveblock@google.com> | 2011-05-06 11:45:16 +0100 |
|---|---|---|
| committer | Steve Block <steveblock@google.com> | 2011-05-12 13:44:10 +0100 |
| commit | cad810f21b803229eb11403f9209855525a25d57 (patch) | |
| tree | 29a6fd0279be608e0fe9ffe9841f722f0f4e4269 /Source/WebCore/move-js-headers.sh | |
| parent | 121b0cf4517156d0ac5111caf9830c51b69bae8f (diff) | |
| download | external_webkit-cad810f21b803229eb11403f9209855525a25d57.zip external_webkit-cad810f21b803229eb11403f9209855525a25d57.tar.gz external_webkit-cad810f21b803229eb11403f9209855525a25d57.tar.bz2 | |
Merge WebKit at r75315: Initial merge by git.
Change-Id: I570314b346ce101c935ed22a626b48c2af266b84
Diffstat (limited to 'Source/WebCore/move-js-headers.sh')
| -rwxr-xr-x | Source/WebCore/move-js-headers.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Source/WebCore/move-js-headers.sh b/Source/WebCore/move-js-headers.sh new file mode 100755 index 0000000..83e30b6 --- /dev/null +++ b/Source/WebCore/move-js-headers.sh @@ -0,0 +1,6 @@ +#!/bin/sh + +mkdir -p include/JavaScriptCore +find ../Source/JavaScriptCore/ -name \*.h -exec cp -f -p {} include/JavaScriptCore/. \; +rm include/JavaScriptCore/config.h +rm include/JavaScriptCore/JavaScriptCorePrefix.h |