projects
/
lttng-ci.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
ansible: Enable RDP and allow pings on windows CI hosts
[lttng-ci.git]
/
scripts
/
babeltrace
/
lint.sh
diff --git
a/scripts/babeltrace/lint.sh
b/scripts/babeltrace/lint.sh
index 9471f433b5f08d33c922a921db86acf7dfc583e6..e17799012f0686e8fe1753d246defc306b935577 100755
(executable)
--- a/
scripts/babeltrace/lint.sh
+++ b/
scripts/babeltrace/lint.sh
@@
-65,4
+65,8
@@
if [[ -f tools/format-cpp.sh ]]; then
git diff --exit-code | tee ../../clang-format.out || exit_code=1
fi
+if [[ -f tools/shellcheck.sh ]]; then
+ tools/shellcheck.sh | tee ../../shellcheck.out || exit_code=1
+fi
+
exit $exit_code
This page took
0.022194 seconds
and
4
git commands to generate.