diff options
Diffstat (limited to 'Meta/lint-shell-scripts.sh')
-rwxr-xr-x | Meta/lint-shell-scripts.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Meta/lint-shell-scripts.sh b/Meta/lint-shell-scripts.sh index 0966b3fc64..dfa00cec7e 100755 --- a/Meta/lint-shell-scripts.sh +++ b/Meta/lint-shell-scripts.sh @@ -11,12 +11,13 @@ if [ "$#" -eq "0" ]; then '*.sh' \ ':!:Ports' \ ':!:Userland/Shell/Tests' \ - ':!:Base/home/anon/tests' + ':!:Base/home/anon/tests' \ + ':!:Base/root/generate_manpages.sh' ) else files=() for file in "$@"; do - if [[ "${file}" == *".sh" ]]; then + if [[ "${file}" == *".sh" && "${file}" != "Base/root/generate_manpages.sh" ]]; then files+=("${file}") fi done |