diff options
-rw-r--r-- | polly/CMakeLists.txt | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/polly/CMakeLists.txt b/polly/CMakeLists.txt index a998738f444..250f8e5dad5 100644 --- a/polly/CMakeLists.txt +++ b/polly/CMakeLists.txt @@ -169,10 +169,8 @@ configure_file( ${CMAKE_CURRENT_SOURCE_DIR}/include/polly/Config/config.h.cmake # Add target to check formatting of polly files file( GLOB_RECURSE files *.h lib/*.cpp lib/*.c tools/*.cpp tools/*.c tools/*.h) file( GLOB_RECURSE jsonfiles lib/JSON/*.h lib/JSON/*.cpp) -file( GLOB_RECURSE islfiles lib/External/isl/*.h lib/External/isl/*.c - lib/External/isl/include/isl/*.h lib/External/isl/imath/*.h - lib/External/isl/imath/*.c) -list( REMOVE_ITEM files ${jsonfiles} ${islfiles}) +file( GLOB_RECURSE external lib/External/*.h lib/External/*.c) +list( REMOVE_ITEM files ${jsonfiles} ${external}) set(check_format_depends) set(update_format_depends) |