aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--common/hooks/pre-pkg/99-pkglint.sh5
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