From ef18759e77b55fafd1206af1e316fbffdcd13c42 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Mon, 16 Sep 2013 16:23:20 -0700
Subject: [PATCH] Update src/CmakeLists.txt - only check style over files
 starting with [A-z]

---
 src/CMakeLists.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 3a4b4294a..f74a0211f 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -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})
\ No newline at end of file