hooks/99-pkglint.sh: error out if /usr/usr path is used

2022-11-01 15:39:41 +01:00
parent f4ab31d2ef
commit 02fb37373b
1 changed files with 5 additions and 0 deletions
--- 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