diff options
author | AnotherTest <ali.mpfard@gmail.com> | 2020-12-26 11:56:32 +0330 |
---|---|---|
committer | Andreas Kling <kling@serenityos.org> | 2020-12-26 11:54:54 +0100 |
commit | 3dcdee75be5853c5b7ed0895f1f380bc8cefa5af (patch) | |
tree | f5e4c9e0d1ed171a4fc9bfd5a7060fa81562a9e1 /Meta/lint-ci.sh | |
parent | bd47957c3adb1554b9ff9d58ef6b5ffc39534cfd (diff) | |
download | serenity-3dcdee75be5853c5b7ed0895f1f380bc8cefa5af.zip |
Meta: Make lint-shell-scripts.sh happy
`${FAILURES}` -> `"${FAILURES}"`
Diffstat (limited to 'Meta/lint-ci.sh')
-rwxr-xr-x | Meta/lint-ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Meta/lint-ci.sh b/Meta/lint-ci.sh index 964029b4a8..d3ba23de2e 100755 --- a/Meta/lint-ci.sh +++ b/Meta/lint-ci.sh @@ -40,4 +40,4 @@ fi echo "(Not running lint-missing-resources.sh due to high false-positive rate.)" echo "(Also look out for check-symbols.sh, which can only be executed after the build!)" -exit ${FAILURES} +exit "${FAILURES}" |