projects
/
lttng-ci.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
ansible: Do not create Jenkins user on root nodes
[lttng-ci.git]
/
scripts
/
babeltrace
/
lint.sh
diff --git
a/scripts/babeltrace/lint.sh
b/scripts/babeltrace/lint.sh
index e17799012f0686e8fe1753d246defc306b935577..a535a81874f17599a83d5e5cd51e2aec18cbd689 100755
(executable)
--- a/
scripts/babeltrace/lint.sh
+++ b/
scripts/babeltrace/lint.sh
@@
-69,4
+69,8
@@
if [[ -f tools/shellcheck.sh ]]; then
tools/shellcheck.sh | tee ../../shellcheck.out || exit_code=1
fi
+if [[ -f tools/check-include-guards.sh ]]; then
+ tools/check-include-guards.sh | tee ../../check-include-guards.out || exit_code=1
+fi
+
exit $exit_code
This page took
0.021905 seconds
and
4
git commands to generate.