diff options
Diffstat (limited to 'webkit/build/JSConfig/create-config.sh')
| -rwxr-xr-x | webkit/build/JSConfig/create-config.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/webkit/build/JSConfig/create-config.sh b/webkit/build/JSConfig/create-config.sh index 228a14d..e561229 100755 --- a/webkit/build/JSConfig/create-config.sh +++ b/webkit/build/JSConfig/create-config.sh @@ -87,6 +87,12 @@ then $CP $JavaScriptCoreSrcDir/API/JSRetainPtr.h $JSHeadersDir/JavaScriptCore $CP $JavaScriptCoreSrcDir/API/OpaqueJSString.h $JSHeadersDir/JavaScriptCore $CP $JavaScriptCoreSrcDir/API/WebKitAvailability.h $JSHeadersDir/JavaScriptCore + # TODO(dglazkov): we should really look into adopting their ways of doing this + # WebKit uses ForwardingHeaders and copies them to make this work + $CP $JavaScriptCoreSrcDir/kjs/ustring.h $JSHeadersDir/JavaScriptCore + $CP $JavaScriptCoreSrcDir/kjs/identifier.h $JSHeadersDir/JavaScriptCore + $CP $JavaScriptCoreSrcDir/kjs/collector.h $JSHeadersDir/JavaScriptCore + $CP $JavaScriptCoreSrcDir/kjs/TypeInfo.h $JSHeadersDir/JavaScriptCore else $CP $WebCoreSrcDir/bridge/npapi.h $JSHeadersDir $CP $WebCoreSrcDir/bridge/npruntime.h $JSHeadersDir |