mirror of
https://github.com/pybind/pybind11.git
synced 2025-01-31 15:20:34 +00:00
Merge pull request #369 from jagerman/check-for-tabs
Check for style issues during docs build
This commit is contained in:
commit
7946715d02
@ -38,9 +38,11 @@ matrix:
|
||||
# Documentation build:
|
||||
- os: linux
|
||||
language: docs
|
||||
env: DOCS
|
||||
env: DOCS STYLE
|
||||
install: pip install sphinx sphinx_rtd_theme
|
||||
script: make -C docs html SPHINX_OPTIONS=-W
|
||||
script:
|
||||
- make -C docs html SPHINX_OPTIONS=-W
|
||||
- tools/check-style.sh
|
||||
cache:
|
||||
directories:
|
||||
- $HOME/.cache/pip
|
||||
|
33
tools/check-style.sh
Executable file
33
tools/check-style.sh
Executable file
@ -0,0 +1,33 @@
|
||||
#!/bin/bash
|
||||
#
|
||||
# Script to check include/test code for common pybind11 code style errors.
|
||||
# Currently just checks for tabs used instead of spaces.
|
||||
#
|
||||
# Invoke as: tools/check-style.sh
|
||||
#
|
||||
|
||||
errors=0
|
||||
IFS=$'\n'
|
||||
found=
|
||||
grep $'\t' include/ tests/ docs/*.rst -rl | while read f; do
|
||||
if [ -z "$found" ]; then
|
||||
echo -e '\e[31m\e[01mError: found tabs instead of spaces in the following files:\e[0m'
|
||||
found=1
|
||||
errors=1
|
||||
fi
|
||||
|
||||
echo " $f"
|
||||
done
|
||||
|
||||
found=
|
||||
grep '\<\(if\|for\|while\)(' include/ tests/* -r --color=always | while read line; do
|
||||
if [ -z "$found" ]; then
|
||||
echo -e '\e[31m\e[01mError: found the following coding style problems:\e[0m'
|
||||
found=1
|
||||
errors=1
|
||||
fi
|
||||
|
||||
echo " $line"
|
||||
done
|
||||
|
||||
exit $errors
|
Loading…
Reference in New Issue
Block a user