michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update src/CmakeLists.txt - only check style over files starting with [A-z]

Browse source
This commit is contained in:
Soonho Kong 2013-09-16 16:23:20 -07:00
parent 9b792d938d
commit ef18759e77
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/CMakeLists.txt
View file

@ -114,8 +114,8 @@ add_subdirectory(tests/frontends/lean)
include(StyleCheck)
file(GLOB_RECURSE LEAN_SOURCES
${LEAN_SOURCE_DIR}
${LEAN_SOURCE_DIR}/*.cpp
${LEAN_SOURCE_DIR}/*.h)
${LEAN_SOURCE_DIR}/[A-Za-z]*.cpp
${LEAN_SOURCE_DIR}/[A-Za-z]*.h)
add_style_check_target(style "${LEAN_SOURCES}")
add_test(NAME style_check
COMMAND ${LEAN_SOURCE_DIR}/cmake/Modules/cpplint.py ${LEAN_SOURCES})