diff options
author | Duncaen <duncaen@voidlinux.org> | 2022-11-01 14:39:41 +0000 |
---|---|---|
committer | Duncaen <duncaen@voidlinux.org> | 2022-11-01 14:40:29 +0000 |
commit | 02fb37373b8a87af82303671562a7ea31883f2f3 (patch) | |
tree | f0f453187b2d9d02aaac903f5bf4884f54927e4b | |
parent | f4ab31d2efd196a64a8e081e1daecc0baab0e197 (diff) | |
download | void-packages-02fb37373b8a87af82303671562a7ea31883f2f3.tar void-packages-02fb37373b8a87af82303671562a7ea31883f2f3.tar.gz void-packages-02fb37373b8a87af82303671562a7ea31883f2f3.tar.bz2 void-packages-02fb37373b8a87af82303671562a7ea31883f2f3.tar.lz void-packages-02fb37373b8a87af82303671562a7ea31883f2f3.tar.xz void-packages-02fb37373b8a87af82303671562a7ea31883f2f3.tar.zst void-packages-02fb37373b8a87af82303671562a7ea31883f2f3.zip |
hooks/99-pkglint.sh: error out if /usr/usr path is used
-rw-r--r-- | common/hooks/pre-pkg/99-pkglint.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/common/hooks/pre-pkg/99-pkglint.sh b/common/hooks/pre-pkg/99-pkglint.sh index 0042f0cca00..a63e3720792 100644 --- a/common/hooks/pre-pkg/99-pkglint.sh +++ b/common/hooks/pre-pkg/99-pkglint.sh @@ -103,6 +103,11 @@ hook() { error=1 fi + if [ -d ${PKGDESTDIR}/usr/usr ]; then + msg_red "${pkgver}: /usr/usr is forbidden, use /usr.\n" + error=1 + fi + if [ -d ${PKGDESTDIR}/usr/man ]; then msg_red "${pkgver}: /usr/man is forbidden, use /usr/share/man.\n" error=1 |