diff options
Diffstat (limited to 'util/webkit')
| -rwxr-xr-x | util/webkit/mkdist-webkit | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/util/webkit/mkdist-webkit b/util/webkit/mkdist-webkit index 09a99b9fe9..74a4f6519b 100755 --- a/util/webkit/mkdist-webkit +++ b/util/webkit/mkdist-webkit @@ -198,6 +198,9 @@ files_to_remove="$files_to_remove WebKit.pro" files_to_remove="$files_to_remove WebKit/qt/QtLauncher/QtLauncher.pro" files_to_remove="$files_to_remove WebKit/qt/QtLauncher/main.cpp" +files_to_remove="$files_to_remove WebKit/qt/QGVLauncher/QGVLauncher.pro" +files_to_remove="$files_to_remove WebKit/qt/QGVLauncher/main.cpp" + files_to_remove="$files_to_remove JavaScriptCore/AllInOneFile.cpp" files_to_remove="$files_to_remove JavaScriptCore/JavaScriptCoreSources.bkl" files_to_remove="$files_to_remove JavaScriptCore/jscore.bkl" |