diff options
Diffstat (limited to 'www/qt5-webkit/files/patch-Source__QtWebKit.pro')
| -rw-r--r-- | www/qt5-webkit/files/patch-Source__QtWebKit.pro | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/www/qt5-webkit/files/patch-Source__QtWebKit.pro b/www/qt5-webkit/files/patch-Source__QtWebKit.pro new file mode 100644 index 000000000000..b2afeae43ceb --- /dev/null +++ b/www/qt5-webkit/files/patch-Source__QtWebKit.pro @@ -0,0 +1,17 @@ +Do not go into the examples/ directory, which contains only platformplugin/. + +Even though it is not part of the default target, it is included in `make +install', and platformplugin's .pro file has a DESTDIR setting that causes the +file system to be touched even though there is nothing to build or install. +--- Source/QtWebKit.pro ++++ Source/QtWebKit.pro +@@ -38,9 +38,4 @@ build?(webkit1) { + tests.file = tests.pri + SUBDIRS += tests + } +- +- examples.file = WebKit/qt/examples/examples.pro +- examples.CONFIG += no_default_target +- examples.makefile = Makefile +- SUBDIRS += examples + } |