diff options
author | Jonas Gorski <jonas.gorski@gmail.com> | 2019-06-22 14:02:27 +0200 |
---|---|---|
committer | Jo-Philipp Wich <jo@mein.io> | 2019-09-04 13:21:22 +0200 |
commit | bdd1bf8b8936a83edb151a429983ed28069f5f95 (patch) | |
tree | 87050808dbee598a9a5b1ec673d1478a978938b1 /package/base-files/files | |
parent | c71f70fcdde2584d460b0695b99bfd7c4e1c759b (diff) | |
download | upstream-bdd1bf8b8936a83edb151a429983ed28069f5f95.tar.gz upstream-bdd1bf8b8936a83edb151a429983ed28069f5f95.tar.bz2 upstream-bdd1bf8b8936a83edb151a429983ed28069f5f95.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>
(cherry picked from commit 5ede3fcdf74dcc1b1b4c9415152b2e8b26a45ead)
Diffstat (limited to 'package/base-files/files')
0 files changed, 0 insertions, 0 deletions