From f159c32799abf4371eae2d2d12fe3e74e4461f07 Mon Sep 17 00:00:00 2001 From: "B. Watson" Date: Mon, 26 Jun 2023 23:13:39 -0400 Subject: sbopkglint: don't check usr/info/dir as a .info file. --- sbopkglint.d/60-usr_info.t.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sbopkglint.d/60-usr_info.t.sh b/sbopkglint.d/60-usr_info.t.sh index fd1c976..b839180 100644 --- a/sbopkglint.d/60-usr_info.t.sh +++ b/sbopkglint.d/60-usr_info.t.sh @@ -66,7 +66,7 @@ if [ -d usr/info ]; then BADDIRS+="$i " else case "$i" in - usr/info/dir) dir_found=1 ; check_info "$i" 0 ;; + usr/info/dir) dir_found=1 ; ;; *.info*.gz) info_found=1 ; check_info "$i" 1 ;; *.info*) info_found=1 ; check_info "$i" 0 ; NONGZIP+="$i " ;; *) BADFILES+="$i " ;; -- cgit v1.2.3