diff options
| author | Jonas Gorski <jonas.gorski@gmail.com> | 2019-06-22 14:02:27 +0200 |
|---|---|---|
| committer | Jonas Gorski <jonas.gorski@gmail.com> | 2019-06-25 14:42:07 +0200 |
| commit | 5ede3fcdf74dcc1b1b4c9415152b2e8b26a45ead (patch) | |
| tree | 96bd24bd2207f5676c2d74b5a47b2d927aece116 /tools | |
| parent | a0e5ca4f3523b9eef96bff32e45f6fa8275b982f (diff) | |
| download | upstream-5ede3fcdf74dcc1b1b4c9415152b2e8b26a45ead.tar.gz upstream-5ede3fcdf74dcc1b1b4c9415152b2e8b26a45ead.tar.bz2 upstream-5ede3fcdf74dcc1b1b4c9415152b2e8b26a45ead.zip | |
build: warn when packages have no associated install section
Declaring a package without the appropriate install section is an easy
mistake to make, especially when renaming packages. Since this is also
easy to detect, warn about it when it happens.
Signed-off-by: Jonas Gorski <jonas.gorski@gmail.com>
No-objections-at-all-by: Jo-Philipp Wich <jo@mein.io>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions