Skip to content

Commit 4120cdd

Browse files
author
thk123
committed
Detect missing cpplint.py file
If the linting python script is missing, this script fails with a useful message.
1 parent c35ba68 commit 4120cdd

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

scripts/run_lint.sh

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,13 @@ then
1212
exit 1
1313
fi
1414

15+
if ! [[ -e scripts/cpplint.py ]]
16+
then
17+
echo "Lint script could not be found in the scripts directory"
18+
echo "Ensure cpplint.py is inside the scripts directory then run again"
19+
exit 1
20+
fi
21+
1522
git_start=$1
1623
git_end=$2
1724

0 commit comments

Comments
 (0)