7ef0d62730
Merge commit '1b593e1ea4d2af0f6444d9a7788d5d99abd6fde5' as 'third_party/git'
15 lines
179 B
Text
15 lines
179 B
Text
(
|
|
for i in a b c
|
|
do
|
|
if false
|
|
then
|
|
# LINT: missing "&&" on 'echo'
|
|
echo "err"
|
|
exit 1
|
|
# LINT: missing "&&" on 'fi'
|
|
fi
|
|
foo
|
|
# LINT: missing "&&" on 'done'
|
|
done
|
|
bar
|
|
)
|