diff options
| author | Eike Ziller <eike.ziller@qt.io> | 2017-01-31 10:21:10 +0100 |
|---|---|---|
| committer | Eike Ziller <eike.ziller@qt.io> | 2017-02-01 08:00:49 +0000 |
| commit | 9979563a5fda3d234c3e28409b34f8ceecf5167f (patch) | |
| tree | 78af7545027649ce72d3ad0120118980eb98c19f /scripts | |
| parent | 01c06c4e846155e299644e2e06d7552f29820f9c (diff) | |
Dev package: Add headers and .pri files from qmlpuppet
Needed by Qt Quick Designer plugins.
Change-Id: Id759e110c31bb4d5f45811be5d910b973022e2cd
Reviewed-by: Eike Ziller <eike.ziller@qt.io>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/createDevPackage.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/createDevPackage.py b/scripts/createDevPackage.py index 29afdcb6b4..64c74e0ba1 100755 --- a/scripts/createDevPackage.py +++ b/scripts/createDevPackage.py @@ -58,6 +58,7 @@ def parse_arguments(): source_include_patterns = [ # directories r"^scripts/.*$", # everything under scripts/ + r"^share/(qtcreator/(qml/(qmlpuppet/(.*/)?)?)?)?$", # for shared headers for qt quick designer plugins r"^src/(.*/)?$", # all directories under src/ r"^plugins/(.*/)?$", # all directories under plugins/ (if this is run on extra plugin repositories) # files |