diff options
| -rw-r--r-- | sbopkglint.d/60-usr_info.t.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 " ;; |