diff options
Diffstat (limited to 'util/webkit')
| -rwxr-xr-x | util/webkit/mkdist-webkit | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/webkit/mkdist-webkit b/util/webkit/mkdist-webkit index 548e3fb..49d4785 100755 --- a/util/webkit/mkdist-webkit +++ b/util/webkit/mkdist-webkit @@ -42,6 +42,7 @@ excluded_directories="$excluded_directories JavaScriptCore/JavaScriptCore.xcodep excluded_directories="$excluded_directories JavaScriptCore/tests" excluded_directories="$excluded_directories JavaScriptCore/API/tests" excluded_directories="$excluded_directories JavaScriptCore/JavaScriptCore.vcproj" +excluded_directories="$excluded_directories JavaScriptCore/JavaScriptCore.pro" excluded_directories="$excluded_directories JavaScriptCore/wtf/wx" excluded_directories="$excluded_directories JavaScriptCore/wtf/gtk" excluded_directories="$excluded_directories JavaScriptCore/wtf/mac" |