diff options
| author | Ben Wiederhake <BenWiederhake.GitHub@gmx.de> | 2021-10-23 23:47:08 +0200 |
|---|---|---|
| committer | Linus Groh <mail@linusgroh.de> | 2021-11-01 21:12:58 +0100 |
| commit | 2caad04d23161d306682cbcb51b2b95cba20e906 (patch) | |
| tree | 1799a6ad2ef9e7d9c458cd9f6586784c938b9ace /Meta/lint-shell-scripts.sh | |
| parent | 70c7861c33c729d8d55d509a3aa44f8300057d94 (diff) | |
| download | serenity-2caad04d23161d306682cbcb51b2b95cba20e906.zip | |
Base: Add new system-mode that just generates manpages
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 |