diff options
author | Michael Stahl <mstahl@redhat.com> | 2017-06-02 20:43:53 +0200 |
---|---|---|
committer | Michael Stahl <mstahl@redhat.com> | 2017-06-02 23:01:11 +0200 |
commit | 3563faa83719c5d4a91222b8aa30fe1cc64b97eb (patch) | |
tree | 67190bc917cb65a76ab143aa7d125b4e90a94ae8 /odk/Module_odk.mk | |
parent | 040372195a9884ffd8065a6ed8be195fd56fc6fc (diff) |
odk: remove PackageSet_odk_headers
This is quite confusing: the gb_Helper_register_packages_for_install
odk_headers does not actually use the Package odk_headers, but the
PackageSet odk_headers, because the name is the same and the PackageSet
directory comes first in the search path.
This means that the Package odk_headers_generated is installed despite
there being no obvious reason why.
The PackageSet doesn't provide much value here, so just remove it.
Change-Id: I564f3b9fc6acaabe700328bc8c3db70c3b2de0cd
Diffstat (limited to 'odk/Module_odk.mk')
-rw-r--r-- | odk/Module_odk.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/odk/Module_odk.mk b/odk/Module_odk.mk index a72102c9b951..4ca21d3eaf32 100644 --- a/odk/Module_odk.mk +++ b/odk/Module_odk.mk @@ -28,7 +28,6 @@ $(eval $(call gb_Module_add_targets,odk,\ Package_settings_generated \ Package_share_readme \ Package_share_readme_generated \ - PackageSet_odk_headers \ )) ifeq ($(OS),WNT) |